Inconsistent Ontology Diagnosis: Evaluation

EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.6.2(WP3.6) In this document, we evaluated the framework for inconsistent ontology diagnosis and repair as introduced in Sekt Deliverable D3.6.1, where we defined a number of new non-standard reasoning services to explain inconsistences. The evaluation is done in two ways, first, we study the effectiveness of our proposal in a quali- tative way with some practical examples. Secondly, in a quantitative and statisticalanalysis, we try to get a better understanding of the computational properties of the debugging problem and our algorithms for solving it.

[1]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

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

[3]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

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

[5]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[6]  Francesco M. Donini,et al.  Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison , 2000, TABLEAUX.

[7]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .

[8]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[9]  Armando Tacchella,et al.  System Description: *SAT: A Platform for the Development of Modal Decision Procedures , 2000, CADE.

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

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

[12]  Ullrich Hustadt,et al.  MSPASS: Modal Reasoning by Translation and First-Order Resolution , 2000, TABLEAUX.

[13]  Luca Console,et al.  Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining , 1999, IJCAI.

[14]  N. D. de Keizer,et al.  Analysis and Design of an Ontology for Intensive Care Diagnoses , 1999, Methods of Information in Medicine.

[15]  Alan L. Rector,et al.  A Heuristic Approach to Explain the Inconsistency in OWL Ontologies , 2005 .

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

[17]  Bijan Parsia,et al.  Black Box Techniques for Debugging Unsatisfiable Concepts , 2005, Description Logics.

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

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

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

[21]  A. Abu-Hanna,et al.  Evaluation of a frame-based ontology: a formalization-oriented approach. , 2002, Studies in health technology and informatics.

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

[23]  Ian Horrocks,et al.  Explaining ALC Subsumption , 2000, Description Logics.

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

[25]  Russell Greiner,et al.  A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..

[26]  Ronald Cornet,et al.  Description logic-based methods for auditing frame-based medical terminological systems , 2005, Artif. Intell. Medicine.

[27]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.