Measuring Incoherence in Description Logic-Based Ontologies

Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a difficult task. A common kind of error for an ontology is logical contradiction or incoherence. In this paper, we propose some approaches to measuring incoherence in DL-based ontologies. These measures give an ontology engineer important information for maintaining and evaluating ontologies. We implement the proposed approaches using the KAON2 reasoner and provide some preliminary but encouraging empirical results.

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

[2]  Xi Deng,et al.  Measuring Inconsistencies in Ontologies , 2007, ESWC.

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

[4]  Anthony Hunter,et al.  Logical Comparison of Inconsistent Perspectives using Scoring Functions , 2004, Knowledge and Information Systems.

[5]  Konstantinos Sagonas,et al.  Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , 2003 .

[6]  Jérôme Lang,et al.  Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.

[7]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[8]  Guilin Qi,et al.  Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics , 2007, Description Logics.

[9]  Guilin Qi,et al.  A Possibilistic Extension of Description Logics , 2007, Description Logics.

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

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

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

[13]  Anthony Hunter,et al.  Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.

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

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

[16]  Peter J. Stuckey,et al.  Finding all minimal unsatisfiable subsets , 2003, PPDP '03.

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

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