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

v1v2v3v4v5 (latest)

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

13 April 2023

Piotr Ostropolski-Nalewaja

Sebastian Rudolph

ArXiv (abs)PDF HTML

Papers citing "Decidability of Querying First-Order Theories via Countermodels of Finite Width"

6 / 6 papers shown

Title
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph 17 8 0 06 Sep 2022
Finite Model Theory of the Triguarded Fragment and Related Logics Emanuel Kieronski Sebastian Rudolph 19 8 0 21 Jan 2021
Combining Existential Rules and Transitivity: Next Steps Jean-François Baget Meghyn Bienvenu M. Mugnier Swan Rocher 31 22 0 28 Apr 2015
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau Ian Horrocks Markus Krotzsch C. Kupke Despoina Magka B. Motik Zhe Wang LRM 40 130 0 04 Feb 2014
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! Sebastian Rudolph Birte Glimm 71 58 0 16 Jan 2014
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP Meghyn Bienvenu B. T. Cate C. Lutz F. Wolter 56 233 0 28 Jan 2013