Approaches to Inconsistency Handling in Description-Logic Based Ontologies

The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal with it - we either resolve it or reason with the inconsistent ontology. In this paper, we give a survey of the existing approaches for handling inconsistency in ontologies and analyze their usability. We focus on Description Logics. We give clear examples to illustrate how to use these approaches to deal with practical problems.

[1]  Guilin Qi,et al.  Measuring Incoherence in Description Logic-Based Ontologies , 2007, ISWC/ASWC.

[2]  Jef Wijsen,et al.  Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers , 2006, EDBT Workshops.

[3]  Enrico Motta,et al.  The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.

[4]  Gerhard Friedrich,et al.  A General Diagnosis Method for Ontologies , 2005, SEMWEB.

[5]  Stefan Schlobach,et al.  Diagnosing Terminologies , 2005, AAAI.

[6]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[7]  Guilin Qi,et al.  Knowledge Base Revision in Description Logics , 2006, JELIA.

[8]  Guilin Qi,et al.  A revision-based approach to handling inconsistency in description logics , 2006, Artificial Intelligence Review.

[9]  Jeff Z. Pan,et al.  Finding Maximally Satisfiable Terminologies for the Description Logic ALC , 2006, AAAI.

[10]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[11]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

[12]  Zhisheng Huang,et al.  Inconsistent Ontology Diagnosis: Evaluation , 2006 .

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

[14]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[15]  Richard Booth,et al.  Knowledge Integration for Description Logics , 2005, AAAI.

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

[17]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[18]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[19]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[20]  Peter F. Patel-Schneider,et al.  A Four-Valued Semantics for Terminological Logics , 1989, Artif. Intell..

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

[22]  Pascal Hitzler,et al.  Algorithms for Paraconsistent Reasoning with OWL , 2007, ESWC.

[23]  Umberto Straccia,et al.  A Sequent Calculus for Reasoning in Four-Valued Description Logics , 1997, TABLEAUX.

[24]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[25]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

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

[27]  Yue Ma,et al.  Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach , 2006, EDBT Workshops.

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

[29]  Roy Dyckhoff.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[30]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.