Abstract
Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves from one consistent state into another consistent state. In this paper, we focus on checking consistency of OWL DL ontologies. While existing reasoners allow detecting inconsistencies, determining why the ontology is inconsistent and offering solutions for these inconsistencies is far from trivial. We therefore propose an algorithm to select the axioms from an ontology causing the inconsistency, as well as a set of rules that ontology engineers can use to resolve the detected inconsistency.
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
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge (2003)
Baclawski, K., Matheus, C., Kokar, M., Letkowski, J., Kogut, P.: Towards a symptom ontology for semantic web applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 650–667. Springer, Heidelberg (2004)
Berners Lee, T., Hendler, J., Lassila, O.: The semantic web: A new form of web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American 5(1) (2001)
Haase, P., Stojanovic, L.: Consistent evolution of OWL ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182–197. Springer, Heidelberg (2005)
Horrocks, I.: The fact system. In: Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux 1998, pp. 307–312. Springer, Heidelberg (1998)
Klein, M.: Change Management for Distributed Ontologies. Ph.D Thesis (2004)
Menzies, T.: Knowledge maintenance: the state of the art. The Knowledge Engineering Review 14(1), 1–46 (1999)
Moller, R., Haarslev, V.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, p. 701. Springer, Heidelberg (2001)
Parsia, B., Sirin, E.: Pellet: An OWL DL reasoner. In: Moller, R., Haaslev, V. (eds.) Proceedings of the International Workshop on Description Logics (DL 2004) (2004)
Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proceedings of the 14th International World Wide Web Conference (WWW 2005), Chiba, Japan (2005)
Plessers, P., De Troyer, O., Casteleyn, S.: Event-based modeling of evolution for semantic-driven systems. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 63–76. Springer, Heidelberg (2005)
Plessers, P., De Troyer, O.: Ontology change detection using a version log. In: Gil, Y., Motta, E., Richard Benjamins, V., Musen, M.A. (eds.) Proceedings of the 4th International Semantic Web Conference, Galway, Ireland, pp. 578–592. Springer, Heidelberg (2005)
Roddick, J.F.: A survey of schema versioning issues for database systems. Information and Software Technology 37(7), 383–393 (1995)
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI 2003 (2003)
Stojanovic, L., Maedche, A., Motik, B., Stojanovic, N.: User-Driven Ontology Evolution Management. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol. 2473, p. 285. Springer, Heidelberg (2002)
Stojanovic, L.: Methods and Tools for Ontology Evolution. Ph.D Thesis (2004)
Tallis, M., Gil, Y.: Designing scripts to guide users in modifying knowledge-based systems. In: Proceedings of the 14th National Conference on Artificial Intelligence (AAAI/IAAI 1999), Orlando, Florida, USA, pp. 242–249 (1999)
Wang, H., Horridge, M., Rector, A., Drummond, N., Seidenberg, J.: Debugging OWL-DL ontologies: A heuristic approach. In: Gil, Y., Motta, E., Richard Benjamins, V., Musen, M.A. (eds.) Proceedings of the 4th International Semantic Web Conference, Galway, Ireland. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plessers, P., De Troyer, O. (2006). Resolving Inconsistencies in Evolving Ontologies. In: Sure, Y., Domingue, J. (eds) The Semantic Web: Research and Applications. ESWC 2006. Lecture Notes in Computer Science, vol 4011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11762256_17
Download citation
DOI: https://doi.org/10.1007/11762256_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34544-2
Online ISBN: 978-3-540-34545-9
eBook Packages: Computer ScienceComputer Science (R0)