Resolving Inconsistencies in Evolving Ontologies

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.

[1]  Ljiljana Stojanovic,et al.  Consistent Evolution of OWL Ontologies , 2005, ESWC.

[2]  Olga De Troyer,et al.  Ontology Change Detection Using a Version Log , 2005, SEMWEB.

[3]  Alan L. Rector,et al.  Debugging OWL-DL Ontologies: A Heuristic Approach , 2005, SEMWEB.

[4]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[5]  Michel C. A. Klein,et al.  Change Management for Distributed Ontologies , 2004 .

[6]  Bijan Parsia,et al.  Debugging OWL ontologies , 2005, WWW '05.

[7]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[8]  Boris Motik,et al.  User-Driven Ontology Evolution Management , 2002, EKAW.

[9]  Mieczyslaw M. Kokar,et al.  Towards a Symptom Ontology for Semantic Web Applications , 2004, SEMWEB.

[10]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[11]  John F. Roddick,et al.  A survey of schema versioning issues for database systems , 1995, Inf. Softw. Technol..

[12]  Yolanda Gil,et al.  Designing Scripts to Guide Users in Modifying Knowledge-based Systems , 1999, AAAI/IAAI.

[13]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[14]  Olga De Troyer,et al.  Event-Based Modeling of Evolution for Semantic-Driven Systems , 2005, CAiSE.

[15]  Tim Menzies,et al.  Knowledge maintenance: the state of the art , 1999, The Knowledge Engineering Review.

[16]  James A. Hendler,et al.  The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities , 2001 .

[17]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[18]  Ljiljana Stojanovic,et al.  Methods and tools for ontology evolution , 2004 .