Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering

First order logic (FOL) rewritability is a desirable feature for query answering over geo-thematic ontologies because in most geoprocessing scenarios one has to cope with large data volume. 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]  Ralf Möller,et al.  Scalable Geo-thematic Query Answering , 2012, International Semantic Web Conference.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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