The Combined Approach to Query Answering Beyond the OWL 2 Profiles

Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalises the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA.

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

[2]  Sebastian Rudolph,et al.  Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ , 2011, IJCAI.

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

[4]  Ian Horrocks,et al.  Pushing the Boundaries of Tractable Ontology Reasoning , 2014, International Semantic Web Conference.

[5]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[6]  Boris Motik,et al.  The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases , 2014, J. Artif. Intell. Res..

[7]  Sebastian Rudolph,et al.  Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 , 2010, KR.

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

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

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

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

[12]  Sebastian Rudolph,et al.  Mixing Materialization and Query Rewriting for Existential Rules , 2014, ECAI.

[13]  Boris Motik,et al.  Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles , 2014, AAAI.

[14]  Carsten Lutz,et al.  The Combined Approach to Ontology-Based Data Access , 2011, IJCAI.

[15]  Ian Horrocks,et al.  EL-ifying Ontologies , 2014, IJCAR.

[16]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

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

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

[19]  Carsten Lutz,et al.  Inverse Roles Make Conjunctive Queries Hard , 2007, Description Logics.