research
∙
06/05/2023
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Chase algorithms are indispensable in the domain of knowledge base query...
share
research
∙
04/13/2023
Decidability of Querying First-Order Theories via Countermodels of Finite Width
We propose a generic framework for establishing the decidability of a wi...
research
∙
04/12/2023
Foundations for an Abstract Proof Theory in the Context of Horn Rules
We introduce a novel, logic-independent framework for the study of seque...
research
∙
09/06/2022
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
In our pursuit of generic criteria for decidable ontology-based querying...
research
∙
12/23/2021
Determinacy of Real Conjunctive Queries. The Boolean Case
In their classical 1993 paper [CV93] Chaudhuri and Vardi notice that som...
research
∙
12/21/2020
A Journey to the Frontiers of Query Rewritability
This paper is about (first order) query rewritability in the context of ...
research
∙
03/12/2020
On monotonic determinacy and rewritability for recursive queries and views
A query Q is monotonically determined over a set of views if Q can be ex...
research
∙
08/22/2018
The First Order Truth behind Undecidability of Regular Path Queries Determinacy
In our paper [GMO18] we have solved an old problem stated in [CGLV02] sh...
research
∙
02/05/2018