Ö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 },
}