Projects per year
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.
|Title of host publication||ISWC 2012: The Semantic Web – ISWC 2012|
|Number of pages||16|
|Publication status||Published - 12.11.2012|
|Event||11th International Semantic Web Conference - Boston, United States|
Duration: 11.11.2012 → 15.11.2012
Conference number: 93624
FingerprintDive into the research topics of 'Scalable geo-thematic query answering'. Together they form a unique fingerprint.
- 1 Finished
Optimierungstechniken für beschreibungslogische Schlussfolgerungssysteme im Bereich der Geo-Daten (GeoDL)
Möller, R. & Grütter, R.
01.01.09 → 31.12.12
Project: DFG Funding