Resolving Inconsistencies in Evolving Ontologies
Plessers, P., De Troyer, O.: "Resolving Inconsistencies in Evolving Ontologies", Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), pp. 200-214, Eds. Y. Sure, J. Domingue, Publ. Springer-Verlag, Budva, Montenegro (2006)
[Acceptance Rate: 26%]
Changing a consistent ontology may turn the ontology into an incon- sistent state. It is the task of an approach supporting ontology evolution to en- sure 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 ontol- ogy is inconsistent and offering solutions for these inconsistencies is far from trivial. We therefore propose an algorithm to select the axioms from an ontol- ogy causing the inconsistency, as well as a set of rules that ontology engineers can use to resolve the detected inconsistency.