Sound, Complete and Minimal UCQ-Rewriting for Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Article Dans Une Revue Semantic Web – Interoperability, Usability, Applicability Année : 2015

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
352 Consultations
421 Téléchargements

Altmetric

Partager

More