Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies

Ontology-mediated data access and management systems are rapidly emerging. Besides standard query answering, there is also a need for such systems to be coupled with explanation facilities, in particular to explain missing query answers (i.e. desired answers of a query which are not derivable from the given ontology and data). This support is highly demanded for debugging and maintenance of big data, and both theoretical results and algorithms proposed. However, existing query explanation algorithms either cannot scale over relative large data sets or are not guaranteed to compute all desired explanations. To the best of our knowledge, no existing algorithm can efficiently and completely explain conjunctive queries (CQs) w.r.t. ELH1 ontologies. In this paper, we present a hybrid approach to achieve this. An implementation of the proposed query explanation algorithm has been developed using an off-the-shelf Prolog engine and a datalog engine. Finally, the system is evaluated over practical ontologies. Experimental results show that our system scales over large data sets.

[1]  Yevgeny Kazakov,et al.  Abstraction Refinement for Ontology Materialization , 2014, Description Logics.

[2]  Juliana Freire,et al.  XSB: A System for Effciently Computing WFS , 1997, LPNMR.

[3]  Boris Motik,et al.  Introducing Nominals to the Combined Query Answering Approaches for EL , 2013, Description Logics.

[4]  Giorgos Stoilos,et al.  Benchmarking Ontology-Based Query Rewriting Systems , 2012, AAAI.

[5]  Szymon Klarman,et al.  ABox abduction in ALC using a DL tableau , 2012, SAICSIT '12.

[6]  Jianfeng Du,et al.  A New Matchmaking Approach Based on Abductive Conjunctive Query Answering , 2011, JIST.

[7]  Edith Schonberg,et al.  Scalable highly expressive reasoner (SHER) , 2009, J. Web Semant..

[8]  Andrea Calì,et al.  Datalog+/-: A Family of Languages for Ontology Querying , 2010, Datalog.

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

[10]  Binbin Xu,et al.  An ABox Abduction Algorithm for the Description Logic ALCI , 2012, Intelligent Information Processing.

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

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

[13]  Jianfeng Du,et al.  Towards Practical ABox Abduction in Large Description Logic Ontologies , 2012, Int. J. Semantic Web Inf. Syst..

[14]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

[15]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[16]  Diego Calvanese,et al.  Reasoning about Explanations for Negative Query Answers in DL-Lite , 2013, J. Artif. Intell. Res..

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

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

[19]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[20]  Rafael Peñaloza,et al.  Complexity of Axiom Pinpointing in the DL-Lite Family , 2010, Description Logics.

[21]  Carsten Lutz,et al.  Conjunctive Query Answering in the Description Logic EL Using a Relational Database System , 2009, IJCAI.

[22]  Carsten Lutz,et al.  The Combined Approach to OBDA: Taming Role Hierarchies using Filters , 2012, SSWS+HPCSW@ISWC.

[23]  D. Warren,et al.  Xsb -a System for Eeciently Computing Well Founded Semantics , 1997 .

[24]  Yavor Nenov,et al.  Pay-As-You-Go OWL Query Answering Using a Triple Store , 2014, AAAI.

[25]  Carsten Lutz,et al.  The Combined Approach to Query Answering in DL-Lite , 2010, KR.

[26]  Jianfeng Du,et al.  A Tractable Approach to ABox Abduction over Description Logic Ontologies , 2014, AAAI.

[27]  Georg Gottlob,et al.  Polynomial Combined Rewritings for Existential Rules , 2014, KR.

[28]  Peter F. Patel-Schneider,et al.  Usability Issues in Knowledge Representation Systems , 1998, AAAI/IAAI.