RT Journal Article
T1 A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
A1 Aranda Corral, Gonzalo Antonio
A1 Borrego Díaz, Joaquín
A1 Chávez González, Antonia María
A1 Gulayeva, Nataliya M.
AB In ontology engineering, reusing (or extending) ontologies poses a significant challenge,requiring revising their ontological commitments and ensuring accurate representation and coherentreasoning. This study aims to address two main objectives. Firstly, it seeks to develop a methodologicalapproach supporting ontology extension practices. Secondly, it aims to demonstrate its feasibilityby applying the approach to the case of extending qualitative spatial reasoning (QSR) theories. Keyquestions involve effectively interpreting spatial extensions while maintaining consistency. Theframework systematically analyzes extensions of formal ontologies, providing a reconstruction ofa qualitative calculus. Reconstructed qualitative calculus demonstrates improved interpretativecapabilities and reasoning accuracy. The research underscores the importance of methodologicalapproaches when extending formal ontologies, with spatial interpretation serving as a valuable casestudy.
PB MDPI
SN 2673-2688 (electrónico)
YR 2024
FD 2024-05
LK https://hdl.handle.net/10272/24083
UL https://hdl.handle.net/10272/24083
LA eng
NO Aranda-Corral, G. A., Borrego-Díaz, J., Chávez-González, A. M., & Gulayeva, N. M. (2024). A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology. In AI (Vol. 5, Issue 2, pp. 746–789). MDPI AG. https://doi.org/10.3390/ai5020039
NO This research was funded by Project PID2019-109152G, funded by the State Investigation Agency (Agencia Estatal de Investigación), MCIN/AEI/10.13039/501100011033.
DS Repositorio Institucional de la Universidad de Huelva
RD 10 may 2026