Computing minimum cost diagnoses to repair populated DL-based ontologies

Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the intensional part of the populated DL-based ontology is fixed and each removable ABox assertion is given a removal cost, we repair the ontology by deleting a subset of removable ABox assertions in which the sum of removal costs is minimum. We call such subset a minimum cost diagnosis. We show that, unless P=NP, the problem of finding a minimum cost diagnosis for a DL-Lite ontology is insolvable in PTIME w.r.t. data complexity. In spite of that, we present a feasible computational method for more general (i.e. SHIQ) ontologies. It transforms a SHIQ ontology to a set of disjoint propositional programs, thus reducing the original problem into a set of independent subproblems. Each such subproblem computes an optimal model and is solvable in logarithmic calls to a SAT solver. Experimental results show that the method can handle moderately complex ontologies with over thousands of ABox assertions, where all ABox assertions can be assumed removable.

[1]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[2]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[3]  Karem A. Sakallah,et al.  Pueblo: A Hybrid Pseudo-Boolean SAT Solver , 2006, J. Satisf. Boolean Model. Comput..

[4]  Niklas Sörensson,et al.  Translating Pseudo-Boolean Constraints into SAT , 2006, J. Satisf. Boolean Model. Comput..

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

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

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

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

[9]  Gerald Pfeifer,et al.  A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.

[10]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

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

[12]  Johanna Völker,et al.  A Framework for Ontology Learning and Data-driven Change Discovery , 2005 .

[13]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[14]  Domenico Lembo,et al.  Consistent Query Answering over Description Logic Ontologies , 2007, Description Logics.

[15]  Li Ma,et al.  Scalable Cleanup of Information Extraction Data Using Ontologies , 2007, ISWC/ASWC.

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

[17]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[18]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

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

[20]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[21]  Boris Motik,et al.  Reasoning in description logics using resolution and deductive databases , 2006 .

[22]  Guilin Qi,et al.  Knowledge Base Revision in Description Logics , 2006, JELIA.

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

[24]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[25]  M. Fitting.  First-order logic and automated theorem proving (2nd ed.) , 1996 .

[26]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[27]  Stefan Schlobach.  Diagnosing Terminologies , 2005, AAAI.

[28]  J. William Murdock,et al.  Towards Knowledge Acquisition from Information Extraction , 2006, International Semantic Web Conference.

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