Özgür Lütfü Özcep and Ralf Möller, Scalable Geo-thematic Query Answering, in Proceedings of the 11th International Semantic Web Conference (ISWC 2012), Boston, US, November, 2012. [PDF(local)], [PDF(online)]


Abstract:
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 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.

BibTex:
@InProceedings { iswc2012paper-research-18,
  author = { Özgür Lütfü Özcep and Ralf Möller },
  title = { Scalable Geo-thematic Query Answering },
  booktitle = { Proceedings of the 11th International Semantic Web Conference (ISWC 2012) },
  address = {Boston, US},
  month = { November },
  year = { 2012 },
}
Back