A Logical-Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology

Simple item page
dc.contributor.authorAranda-Corral, Gonzalo
dc.contributor.authorBorrego-Díaz, Joaquín
dc.contributor.authorChávez-González, Antonia
dc.contributor.authorGulayeva, Nataliya
dc.date.accessioned2024-07-30T09:06:54Z
dc.date.available2024-07-30T09:06:54Z
dc.date.issued2024
dc.description.abstractIn ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning. This study aims to address two main objectives. Firstly, it seeks to develop a methodological approach supporting ontology extension practices. Secondly, it aims to demonstrate its feasibility by applying the approach to the case of extending qualitative spatial reasoning (QSR) theories. Key questions involve effectively interpreting spatial extensions while maintaining consistency. The framework systematically analyzes extensions of formal ontologies, providing a reconstruction of a qualitative calculus. Reconstructed qualitative calculus demonstrates improved interpretative capabilities and reasoning accuracy. The research underscores the importance of methodological approaches when extending formal ontologies, with spatial interpretation serving as a valuable case study. en_US
dc.identifier.citationA Logical-Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology / Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Nataliya M. Gulayeva // AI (Switzerland). - 2024. - Vol. 5, Issue 2. - P. 746-789. - https://doi.org/10.3390/ai5020039 en_US
dc.identifier.issn2673-2688
dc.identifier.urihttps://doi.org/10.3390/ai5020039
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/30984
dc.language.isoen en_US
dc.relation.sourceAI (Switzerland) en_US
dc.statusfirst publisheduk_UA
dc.subjectfoundational ontologies en_US
dc.subjectautomated reasoning en_US
dc.subjectqualitative spatial reasoning en_US
dc.subjectarticle en_US
dc.titleA Logical-Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology en_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
A_Logical-Algebraic_Approach_to_Revising_Formal_Ontologies_Application_in_Mereotopology.pdf
Size:
10.68 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Кафедра інформатики