Abstract
One of the major problems of large scale, distributed and evolving ontologies is the potential introduction of inconsistencies. In this paper we survey four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning. We present a common formal basis for all of them, and use this common basis to compare these approaches. We discuss the different requirements for each of these methods, the conditions under which each of them is applicable, the knowledge requirements of the various methods, and the different usage scenarios to which they would apply.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Flouris, G.: Belief change in arbitrary logics. In: HDMS (2004)
Haase, P., Stojanovic, L.: Consistent evolution of OWL ontologies. In: Proceedings of the Second European Semantic Web Conference, Heraklion, Greece (May 2005)
Heflin, J.: Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment. Phd thesis, University of Maryland (2001)
Heflin, J., Pan, J.Z.: A model theoretic semantics for ontology versioning. In: Third International Semantic Web Conference, Hiroshima, Japan, pp. 62–76. Springer, Heidelberg (2004)
Horrocks, I., Patel-Schneider, P.F.: Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics 1(4) (2004)
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3), 239–263 (2000)
Huang, Z., Stuckenschmidt, H.: Reasoning with multiversion ontologies: a temporal logic approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, Springer, Heidelberg (2005)
Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 254–259 (2005)
Klein, M.: Change Management for Distributed Ontologies. Phd thesis, Vrije Universiteit Amsterdam (2004)
McGuinness, D., van Harmelen, F.: OWL Web Ontology Language. Recommendation, W3C (2004), http://www.w3.org/TR/owl-features/
Noy, N.F., Musen, M.A.: The prompt suite: Interactive tools for ontology merging and mapping. International Journal of Human-Computer Studies 59(6), 983–1024 (2003)
Reiter, R.: A theory of diagnosis from first principles. Artif. Intelligence 32(1), 57–95 (1987)
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI 2003, Acapulco, Mexico. Morgan Kaufmann, San Francisco (2003)
Stojanovic, L.: Methods and Tools for Ontology Evolution. Phd thesis, University of Karlsruhe (2004)
Stuckenschmidt, H., Klein, M.: Integrity and change in modular ontologies. In: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI 2003, Acapulco, Mexico. Morgan Kaufmann, San Francisco (2003)
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
Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y. (2005). A Framework for Handling Inconsistency in Changing Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds) The Semantic Web – ISWC 2005. ISWC 2005. Lecture Notes in Computer Science, vol 3729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11574620_27
Download citation
DOI: https://doi.org/10.1007/11574620_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29754-3
Online ISBN: 978-3-540-32082-1
eBook Packages: Computer ScienceComputer Science (R0)