Measuring Inconsistencies in Ontologies

In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure can be used to identify which axioms in an input ontology or which parts of these axioms need to be removed or modified in order to make the input consistent. We also propose optimization techniques to improve the efficiency of computing Shapley values. The proposed approach is independent of a particular ontology language or a particular reasoning system used. Application of this approach can improve the quality of ontology diagnosis and repair in general.

[1]  John Grant,et al.  Classifications for inconsistent theories , 1978, Notre Dame J. Formal Log..

[2]  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.

[3]  A. Hunter,et al.  Shapley Inconsistency Values , 2006, KR.

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

[5]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

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

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

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

[9]  Xi Deng,et al.  Resolution Based Explanations for Reasoning in the Description Logic ALC , 2006, CSWWS.

[10]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

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

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

[13]  Vincent Conitzer,et al.  Computing Shapley Values, Manipulating Value Division Schemes, and Checking Core Membership in Multi-Issue Domains , 2004, AAAI.

[14]  Philip Wolfe,et al.  Contributions to the theory of games , 1953 .

[15]  Kevin Knight,et al.  Measuring Inconsistency , 2002, J. Philos. Log..

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

[17]  L. Shapley.  A Value for n-person Games , 1988 .

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

[19]  Xi Deng,et al.  A Framework for Explaining Reasoning in Description Logics , 2005, ExaCt.

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

[21]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.