On the Exploration of the Query Rewriting Space with Existential Rules

Mélanie König 1 Michel Leclère 1 Marie-Laure Mugnier 1 Michaël Thomazo 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We address the issue of Ontology-Based Data Access, with ontologies represented 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 a conjunctive query (CQ) into a union of CQs. We assume that the set of rules is a finite unification set, i.e., for any CQ, there exists a finite sound and complete rewriting of this CQ with the rules. First, we study a generic breadth-first rewriting algorithm, which takes as input any rewriting operator. We define properties of the rewriting operator that ensure the correctness and the termination of this algorithm. Second, we study some operators with respect to the exhibited properties. All these operators have in common to be based on so-called piece-unifiers but they lead to different explorations of the rewriting space. Finally, an experimental comparison of these operators within an implementation of the generic breadth-first rewriting algorithm is presented.
Type de document :
Communication dans un congrès
RR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. 7th International Conference on Web Reasoning and Rule Systems, LNCS (7994), pp.123-137, 2013, Web Reasoning and Rule Systems. 〈10.1007/978-3-642-39666-3_10〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00838806
Contributeur : Mélanie König <>
Soumis le : jeudi 7 novembre 2013 - 10:45:13
Dernière modification le : jeudi 11 janvier 2018 - 16:19:50
Document(s) archivé(s) le : lundi 10 février 2014 - 11:10:32

Fichier

main2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. RR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. 7th International Conference on Web Reasoning and Rule Systems, LNCS (7994), pp.123-137, 2013, Web Reasoning and Rule Systems. 〈10.1007/978-3-642-39666-3_10〉. 〈lirmm-00838806〉

Partager

Métriques

Consultations de la notice

318

Téléchargements de fichiers

274