Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying

6 September 2022

Papers citing "Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying"

4 / 4 papers shown

Title
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules Piotr Ostropolski-Nalewaja Sebastian Rudolph 30 1 0 19 Jul 2024
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets Tim S. Lyon Sebastian Rudolph 14 0 0 17 Jul 2023
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules Tim S. Lyon Piotr Ostropolski-Nalewaja LRM 16 1 0 05 Jun 2023
Decidability of Querying First-Order Theories via Countermodels of Finite Width Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph LRM 83 2 0 13 Apr 2023