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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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)