Query Rewriting for Existential Rules with Compiled Preorder - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2015

Query Rewriting for Existential Rules with Compiled Preorder

Mélanie König
Michel Leclère


We address the issue of Ontology-Based Query Answering (OBQA), which seeks to exploit knowledge expressed in ontologies when querying data. Ontologies are represented in the framework of ex-istential rules (aka Datalog±). A commonly used technique consists in rewriting queries into unions of conjunctive queries (UCQs). However, the obtained queries can be prohibitively large in practice. A well-known source of combinatorial explosion are very simple rules, typically expressing taxonomies and relation signatures. We propose a rewriting technique, which consists in compiling these rules into a preorder on atoms and embedding this preorder into the rewriting process. This allows to compute compact rewritings that can be considered as " pivotal " representations, in the sense that they can be evaluated by different kinds of database systems. The provided algorithm computes a sound, complete and minimal UCQ rewriting , if one exists. Experiments show that this technique leads to substantial gains, in terms of size and runtime, and scales on very large ontologies. We also compare to other tools for OBQA with existen-tial rules and related lightweight description logics.
Fichier principal
Vignette du fichier
KonLecMug-IJCAI15.pdf (539.42 Ko) Télécharger le fichier

Dates and versions

lirmm-01164851 , version 1 (18-06-2015)


  • HAL Id : lirmm-01164851 , version 1


Mélanie König, Michel Leclère, Marie-Laure Mugnier. Query Rewriting for Existential Rules with Compiled Preorder. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112. ⟨lirmm-01164851⟩
174 View
285 Download


Gmail Facebook X LinkedIn More