Abstract
A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness with respect to their associate conceptualizations is presented. The use of such systems makes feasible the ontological insertion of new concepts, but it is necessary to re-interpret the older ones with respect to new ontological commitments. We illustrate the method extending a well-known ontology about spatial relationships, the called Region Connection Calculus.
Partially supported by the project TIN2004-03884 of Spanish Ministry of Education and Science, cofinanced by FEDER funds.
Preview
Unable to display preview. Download preview PDF.
References
Alonso-Jiménez, J.A., Borrego-Díaz, J., Chávez-González, A.M.: Ontology Cleaning by Mereotopological Reasoning. In: Proc. of DEXA Workshop on Web Semantics (WebS 2004), pp. 132–137. IEEE Press, Los Alamitos (2004)
Alonso-Jiménez, J.A., Borrego-Díaz, J., Chávez-González, A.M., Martín-Mateos, F.J.: Foundational challenges in Automated and Ontology Cleaning in the Semantic Web. To appear in IEEE Intelligent Systems
Bennett, B.: The Role of Definitions in Construction and Analysis of Formal Ontologies. In: Doherty, P., McCarthy, J., Williams, M. (eds.) Logical Formalization of Commonsense Reasoning (2003 AAAI Symposium), pp. 27–35. AAAI Press, Menlo Park (2003)
Borrego-Díaz, J., Chávez-González, A.M.: Management Undefinability in Data Through Automated Ontology Extensions (2005) (submitted)
Chávez-González, A.: Mereotopological Automated Reasoning for Ontology Cleaning, forthcoming Ph.D. thesis
Cohn, A.G., Bennett, B., Gooday, J.M., Gotts, N.M.: Representing and Reasoning with Qualitative Spatial Relations about Regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, ch. 4. Kluwer, Dordrecth (1997)
Cohn, A.G., Gotts, N.M.: The ’Egg-Yolk’ Representation of Regions with Indeterminate Boundaries. In: Burrough, P., Frank, A.M. (eds.) Proc. GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries. GISDATA Series, vol. 3, pp. 171–187. Taylor and Francis, Abington (1996)
Stumme, G., Taouil, R., Bastide, Y., Pasquier, N., Lakhal, L.: Computing Iceberg Concept Lattices with TITANIC. Data Knowl. Eng. 42(2), 189–222 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Borrego-Díaz, J., Chávez-González, A.M. (2005). Extension of Ontologies Assisted by Automated Reasoning Systems. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2005. EUROCAST 2005. Lecture Notes in Computer Science, vol 3643. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11556985_33
Download citation
DOI: https://doi.org/10.1007/11556985_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29002-5
Online ISBN: 978-3-540-31829-3
eBook Packages: Computer ScienceComputer Science (R0)