Repairing missing is-a structure in ontologies is an abductive reasoning problem

With the increased use of ontologies in semantically-enabled applications, the issue of debugging defects in ontologies has become increasingly important. These defects can lead to wrong or incomplete results for the applications. Debugging consists of the phases of detection and repairing. In this paper we focus on the repairing phase of a particular kind of defects, i.e., the missing relations in the is-a hierarchy. We show that this can be formalized as an abduction problem. Further, we define properties for the ontology, the set of is-a relations to repair and the domain expert, as well as preference criteria on solutions and discuss the influences of these properties and criteria on the existence of solutions for the abduction problem. We also discuss the consequences of our analyses of the repairing problem for the development and use of debugging systems.

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

[2]  Steffen Lamparter,et al.  Automata-Based Abduction for Tractable Diagnosis , 2010, Description Logics.

[3]  Francesco M. Donini,et al.  A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN , 2004, Description Logics.

[4]  Valentina Ivanova,et al.  Get my pizza right: Repairing missing is-a relations in ALC ontologies (extended version) , 2012, JIST.

[5]  Valentina Ivanova,et al.  A unified approach for debugging is-a structure and mappings in networked taxonomies , 2013, J. Biomed. Semant..

[6]  Guilin Qi,et al.  A Conflict-based Operator for Mapping Revision , 2009, Description Logics.

[7]  Steffen Stadtmüller,et al.  RaDON - Repair and Diagnosis in Ontology Networks , 2009, ESWC.

[8]  Óscar Corcho,et al.  Pattern-based OWL Ontology Debugging Guidelines , 2009, WOP.

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

[10]  Richard Power,et al.  Measuring the Understandability of Deduction Rules for OWL , 2012, WoDOOM@EKAW.

[11]  Valentina Ivanova,et al.  A Unified Approach for Aligning Taxonomies and Debugging Taxonomies and Their Alignments , 2013, ESWC.

[12]  Gerhard Friedrich,et al.  Interactive ontology debugging: Two query strategies for efficient fault localization☆ , 2011, J. Web Semant..

[13]  Valentina Ivanova,et al.  Get My Pizza Right: Repairing Missing is-a Relations in ${\cal ALC}$ Ontologies , 2012, JIST.

[14]  Ulrike Sattler,et al.  A Case for Abductive Reasoning over Ontologies , 2006, OWLED.

[15]  Qiang Liu,et al.  Repairing the Missing is-a Structure of Ontologies , 2009, ASWC.

[16]  Marti A. Hearst.  Automatic Acquisition of Hyponyms from Large Text Corpora , 1992, COLING.

[17]  Stefan Schlobach,et al.  ABox Abduction in the Description Logic ALC , 2011, J. Autom. Reason..

[18]  Valentina Ivanova,et al.  Debugging Taxonomies and their Alignments: the ToxOntology - MeSH Use Case , 2012, WoDOOM@EKAW.

[19]  Philipp Cimiano,et al.  Ontology Learning from Text: Methods, Evaluation and Applications , 2005 .

[20]  Ian Horrocks,et al.  Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences , 2009, ESWC.

[21]  Qiang Liu,et al.  Debugging the missing is-a structure within taxonomies networked by partial reference alignments , 2013, Data Knowl. Eng..

[22]  Bijan Parsia,et al.  Laconic and Precise Justifications in OWL , 2008, SEMWEB.

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

[24]  Stefan Schlobach,et al.  ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$ , 2010, Journal of Automated Reasoning.

[25]  Jianfeng Du,et al.  Towards Practical ABox Abduction in Large OWL DL Ontologies , 2011, AAAI.

[26]  Samantha Bail,et al.  Declutter Your Justifications: Determining Similarity Between OWL Explanations , 2012, WoDOOM@EKAW.

[27]  Heiner Stuckenschmidt,et al.  Repairing Ontology Mappings , 2007, AAAI.

[28]  Rafael Peñaloza,et al.  On the Complexity of Axiom Pinpointing in the EL Family of Description Logics , 2010, KR.

[29]  P. Wang,et al.  Debugging Ontology Mappings: A Static Approach , 2008, Comput. Informatics.