Home > Research > Publications & Outputs > Dichotomies in Ontology-Mediated Querying with ...

Links

Text available via DOI:

View graph of relations

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

Research output: Contribution to Journal/MagazineJournal articlepeer-review

Published
Close
Article number20
<mark>Journal publication date</mark>31/05/2020
<mark>Journal</mark>ACM Transactions on Computational Logic (TOCL)
Issue number3
Volume21
Number of pages47
Publication StatusPublished
Early online date20/02/20
<mark>Original language</mark>English

Abstract

We study ontology-mediated querying in the case where ontologies are formulated in the guarded fragment of first-order logic (GF) or extensions thereof with counting and where the actual queries are (unions of) conjunctive queries. Our aim is to classify the data complexity and Datalog rewritability of query evaluation depending on the ontology O, where query evaluation w.r.t. O is in PTime (resp. Datalog rewritable) if all queries can be evaluated in PTime w.r.t. O (resp. rewritten into Datalog under O), and coNP-hard if at least one query is coNP-hard w.r.t. O. We identify several fragments of GF that enjoy a dichotomy between Datalog-rewritability (which implies PTime) and coNP-hardness as well as several other fragments that enjoy a dichotomy between PTime and coNP-hardness, but for which PTime does not imply Datalog-rewritability. For the latter, we establish and exploit a connection to constraint satisfaction problems. We also identify fragments for which there is no dichotomy between PTime and coNP. To prove this, we establish a non-trivial variation of Ladner’s theorem on the existence of NP-intermediate problems. Finally, we study the decidability of whether a given ontology enjoys PTime query evaluation, presenting both positive and negative results, depending on the fragment.