A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

The ability to deal with inconsistencies and to evaluate the impact of possible solutions for resolving inconsistencies are of the utmost importance in real world ontology applications. The common approaches either identify the minimally unsatisfiable sub-ontologies or the maximally satisfiable sub-ontologies. However there is little work which addresses the issue of rewriting the ontology; it is not clear which axioms or which parts of axioms should be repaired, nor how to repair those axioms. In this paper, we address these limitations by proposing an approach to resolving unsatisfiable ontologies which is fine-grained in the sense that it allows parts of axioms to be changed. We revise the axiom tracing technique first proposed by Baader and Hollunder, so as to track which parts of the problematic axioms cause the unsatisfiability. Moreover, we have developed a tool to support the ontology user in rewriting problematic axioms. In order to minimise the impact of changes and prevent unintended entailment loss, both harmful and helpful changes are identified and reported to the user. Finally we present an evaluation of our interactive debugging tool and demonstrate its applicability in practice.

[1]  Stefan Schlobach,et al.  Debugging and Semantic Clarification by Pinpointing , 2005, ESWC.

[2]  Bijan Parsia,et al.  Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments , 2006, Description Logics.

[3]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

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

[5]  Gunnar Teege.  Making the Difference: A Subtraction Operation for Description Logics , 1994, KR.

[6]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

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

[8]  Maurizio Lenzerini,et al.  On the Update of Description Logic Ontologies at the Instance Level , 2006, AAAI.

[9]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[10]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[11]  Ralf Küsters,et al.  Approximation and Difference in Description Logics , 2002, KR.

[12]  Carsten Lutz,et al.  Updating Description Logic ABoxes , 2006, KR.

[13]  Olga De Troyer,et al.  Resolving Inconsistencies in Evolving Ontologies , 2006, ESWC.

[14]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[15]  Franz Baader,et al.  Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.

[16]  Andrea Schaerf,et al.  Reasoning with Individuals in Concept Languages , 1993, Data Knowl. Eng..

[17]  Franz Baader,et al.  Cardinality Restrictions on Concepts , 1994, KI.

[18]  Paul Refenes,et al.  Reasoning and revision in hybrid representation systems by Bernhard Nevel, Springer-Verlag, Berlin, 1990, pp 270, DM 42 , 1991, The Knowledge Engineering Review.

[19]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

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

[21]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[22]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

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

[24]  Ian Horrocks,et al.  Optimising Tableaux Decision Procedures For Description Logics , 1997 .

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

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

[27]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.