Scalable Geo-thematic Query Answering

First order logic (FOL) rewritability is a desirable feature for query answering over geo-thematic ontologies because in most geo-processing scenarios one has to cope with large data volumes. Hence, there is a need for combined geo-thematic logics that provide a sufficiently expressive query language allowing for FOL rewritability. The DL-Lite family of description logics is tailored towards FOL rewritability of query answering for unions of conjunctive queries, hence it is a suitable candidate for the thematic component of a combined geo-thematic logic. We show that a weak coupling of DL-Lite with the expressive region connection calculus RCC8 allows for FOL rewritability under a spatial completeness condition for the ABox. Stronger couplings allowing for FOL rewritability are possible only for spatial calculi as weak as the low-resolution calculus RCC2. Already a strong combination of DL-Lite with the low-resolution calculus RCC3 does not allow for FOL rewritability.

[1]  Diego Calvanese,et al.  Semantic Index : Scalable Query Answering without Forward Chaining or Exponential Rewritings , 2011 .

[2]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[3]  Jochen Renz,et al.  Qualitative Spatial Reasoning with Topological Information , 2002, Lecture Notes in Computer Science.

[4]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning Using Constraint Calculi , 2007, Handbook of Spatial Logics.

[5]  Diego Calvanese,et al.  Ontologies and Databases: The DL-Lite Approach , 2009, Reasoning Web.

[6]  Michael Wessel.  Qualitative Spatial Reasoning with the ALCI RCC Family-First Results and Unanswered Questions † , 2003 .

[7]  Dimitris Papadias,et al.  Topological Inference , 1995, IJCAI.

[8]  Andrea Calì,et al.  A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..

[9]  Volker Haarslev,et al.  A Description Logic with Concrete Domains and a Role-forming Predicate Operator , 1999, J. Log. Comput..

[10]  Ralf Moeller,et al.  Computationally Feasible Query Answering over Spatio-thematic Ontologies , 2012 .

[11]  Ralf Möller,et al.  Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering , 2012, Description Logics.

[12]  Michael Wessel,et al.  On Spatial Reasoning with Description Logics - Position Paper , 2002, Description Logics.

[13]  Sebastian Wandelt,et al.  Towards Scalable Instance Retrieval over Ontologies , 2010, Int. J. Softw. Informatics.

[14]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[15]  Carsten Lutz,et al.  A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes , 2007, Journal of Automated Reasoning.

[16]  Gabriel M. Kuper,et al.  Constraint Databases , 2010, Springer Berlin Heidelberg.

[17]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[18]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[19]  Sergey Yekhanin,et al.  Towards 3-query locally decodable codes of subexponential length , 2008, JACM.

[20]  Omer Reingold,et al.  Undirected connectivity in log-space , 2008, JACM.