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...
share
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
∙
04/24/2021
