Query Rewriting for Existential Rules with Compiled Preorder

Mélanie König 1 Michel Leclère 1 Marie-Laure Mugnier 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 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01164851
Contributor : Michel Leclère <>
Submitted on : Thursday, June 18, 2015 - 8:18:46 AM
Last modification on : Saturday, June 29, 2019 - 6:13:17 PM
Long-term archiving on : Tuesday, April 25, 2017 - 11:15:48 AM

Identifiers

  • HAL Id : lirmm-01164851, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

265

Files downloads

553