Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

13 November 2013

ArXiv (abs)PDF HTML

Papers citing "Sound, Complete and Minimal UCQ-Rewriting for Existential Rules"

12 / 12 papers shown

Title
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules Piotr Ostropolski-Nalewaja Sebastian Rudolph 27 1 0 19 Jul 2024
Controlled Query Evaluation through Epistemic Dependencies Gianluca Cima D. Lembo Lorenzo Marconi Riccardo Rosati Domenico Fabio Savo 23 1 0 03 May 2024
Consistent Query Answering for Existential Rules with Closed Predicates Lorenzo Marconi Riccardo Rosati 27 0 0 11 Jan 2024
Query Rewriting with Disjunctive Existential Rules and Mappings M. Leclère M. Mugnier Guillaume Pérution-Kihli LRM 25 1 0 09 Jun 2023
Normalisations of Existential Rules: Not so Innocuous! David Carral Lucas Larroque M. Mugnier M. Thomazo 21 11 0 07 Jun 2022
Parallelisable Existential Rules: a Story of Pieces M. Buron M. Mugnier M. Thomazo 21 2 0 13 Jul 2021
Oblivious and Semi-Oblivious Boundedness for Existential Rules P. Bourhis M. Leclère M. Mugnier S. Tison F. Ulliana Lily Gallois LRM 13 7 0 15 Jun 2020
A tetrachotomy of ontology-mediated queries with a covering axiom Olga Gerasimova S. Kikot Agi Kurucz V. Podolskii Michael Zakharyaschev 13 2 0 07 Jun 2020
The Space-Efficient Core of Vadalog Gerald Berger Georg Gottlob Andreas Pieris Emanuel Sallinger LRM 11 26 0 16 Sep 2018
Goal-Driven Query Answering for Existential Rules with Equality Michael Benedikt B. Motik Efthymia Tsamoura 40 8 0 14 Nov 2017
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity Meghyn Bienvenu S. Kikot R. Kontchakov V. Podolskii Michael Zakharyaschev 18 17 0 04 May 2016
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses Sebastian Rudolph M. Thomazo Jean-François Baget M. Mugnier 21 3 0 15 Dec 2014