Picture for Piotr Ostropolski-Nalewaja

Piotr Ostropolski-Nalewaja

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules

Add code
Jul 19, 2024
Viaarxiv icon

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules

Add code
Jun 05, 2023
Viaarxiv icon

Decidability of Querying First-Order Theories via Countermodels of Finite Width

Add code
Apr 13, 2023
Viaarxiv icon

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

Add code
Sep 06, 2022
Figure 1 for Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
Viaarxiv icon