Evaluation of Query Rewriting Approaches for OWL 2

Query answering over ontologies is a crucial feature in contexts such as ontology-based data access and semantic information integration. There is considerable research interest in using query rewriting for efficient and scalable query answering: instead of evaluating a given query over the ontology with the (potentially very large) data directly, one rewrites the query with respect to the relevant knowledge in the ontology, and delegates the evaluation of the computed rewriting to a (possibly deductive) database system where the data resides. In this paper we examine the performance and scalability of producing unions of conjunctive queries versus datalog queries as rewritings. We present an empirical comparison between two representative approaches that consider very expressive ontology languages.

[1]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[2]  Thomas Eiter,et al.  Towards Practical Query Answering for Horn-SHIQ , 2012, Description Logics.

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

[4]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[5]  Giorgos B. Stamou,et al.  Optimized Query Rewriting for OWL 2 QL , 2011, CADE.

[6]  Boris Motik,et al.  Tractable query answering and rewriting under description logic constraints , 2010, J. Appl. Log..

[7]  Diego Calvanese,et al.  Dependencies: Making Ontology Based Data Access Work , 2011, AMW.

[8]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

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

[10]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[11]  Riccardo Rosati.  Query Rewriting under Extensional Constraints in DL-Lite , 2012, Description Logics.

[12]  Giorgio Orsi,et al.  Ontological queries: Rewriting and optimization , 2011, 2011 IEEE 27th International Conference on Data Engineering.

[13]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[14]  Riccardo Rosati,et al.  Improving Query Answering over DL-Lite Ontologies , 2010, KR.

[15]  Diego Calvanese,et al.  High Performance Query Answering over DL-Lite Ontologies , 2012, KR.

[16]  Ian Horrocks,et al.  Conjunctive Query Answering for the Description Logic SHIQ , 2007, IJCAI.