Sound, Complete and Minimal UCQ-Rewriting for Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Journal Articles Semantic Web – Interoperability, Usability, Applicability Year : 2015

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules


We address the issue of Ontology-Based Data Access, with ontologies repre-sented in the framework of existential rules, also known as Datalog±. A well-known approach involves rewriting the query using ontological knowledge. We focus here on the basic rewriting technique which consists of rewriting the initial query into a union of conjunctive queries. First, we study a generic breadth-first rewriting algorithm, which takes any rewriting operator as a parameter, and de-fine properties of rewriting operators that ensure the correctness of the algorithm. Then, we focus on piece-unifiers, which provide a rewriting operator with the de-sired properties. Finally, we propose an implementation of this framework and report some experiments.
Fichier principal
Vignette du fichier
main.pdf (501.18 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-01090370 , version 1 (04-12-2014)



Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. Semantic Web – Interoperability, Usability, Applicability, 2015, 6 (5), pp.451-475. ⟨10.3233/SW-140153⟩. ⟨lirmm-01090370⟩
321 View
396 Download



Gmail Mastodon Facebook X LinkedIn More