Projects per year
We concentrate on ontology-mediated queries (OMQs) expressed using guarded Datalog∃ and conjunctive queries. Guarded Datalog∃ is a rule-based knowledge representation formalism inspired by the guarded fragment of first-order logic, while conjunctive queries represent a prominent database query language that lies at the core of relational calculus (i.e., first-order queries). For such guarded OMQs we discuss three main algorithmic tasks: query evaluation, query containment, and first-order rewritability. The first one is the task of computing the answer to an OMQ over an input database. The second one is the task of checking whether the answer to an OMQ is contained in the answer of some other OMQ on every input database. The third one asks whether an OMQ can be equivalently rewritten as a first-order query. For query evaluation, we explain how classical results on the satisfiability problem for the guarded fragment of first-order logic can be applied. For query containment, we discuss how tree automata techniques can be used. Finally, for first-order rewritability, we explain how techniques based on a more sophisticated automata model, known as cost automata, can be exploited.
|Title of host publication||Hajnal Andréka and István Németi on Unity of Science|
|Number of pages||26|
|Publication status||Published - 1 Jun 2021|
|Name||Outstanding Contributions to Logic|