Ontological Analysis for Description Logics Knowledge Base Debugging

Formal ontology provides axiomatizations of domain independent principles which, among other applications,can be used to identify modeling errors within a knowledge base. The Ontoclean methodology is probably the best-known illustration of this strategy, but its cost in terms of manual work is often considered dissuasive. This article investigates the applicability of such debugging strategies to Description Logics knowledge bases, showing that even a partial and shallow analysis rapidly performed with a top-level ontology can reveal the presence of violations of common sense, and that the bottleneck, if there is one, may instead reside in the resolution of the resulting inconsistency or incoherence.

[1]  Renata Wassermann,et al.  The Ontology Reviser Plug-In for Protégé , 2008, WONTO.

[2]  Nicola Guarino,et al.  A Formal Ontology of Properties , 2000, EKAW.

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

[4]  Dov M. Gabbay,et al.  BELIEF REVISION IN NON-CLASSICAL LOGICS , 2008, The Review of Symbolic Logic.

[5]  Johanna Völker,et al.  AEON --An approach to the automatic evaluation of ontologies , 2008 .

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

[7]  Johanna Völker,et al.  Integrated Metamodeling and Diagnosis in OWL 2 , 2010, SEMWEB.

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

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

[10]  Aldo Gangemi,et al.  Enriching ‘Senso Comune’ with Semantic Role Sets , 2014, ACL 2014.

[11]  Nicola Guarino,et al.  Wonderweb Deliverable D17 , 2002 .

[12]  Matthew Horridge,et al.  Justification based explanation in ontologies , 2012 .

[13]  Christopher A. Welty.  OntOWLClean: Cleaning OWL ontologies with OWL , 2006, FOIS.

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

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

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

[17]  Christian Bizer,et al.  DBpedia: A Multilingual Cross-domain Knowledge Base , 2012, LREC.

[18]  Johanna Völker,et al.  A Kernel Revision Operator for Terminologies - Algorithms and Evaluation , 2008, International Semantic Web Conference.

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

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