Efficient query answering in the presence of DL-LiteR constraints

Damian Bursztyn 1, 2 François Goasdoué 1, 3 Ioana Manolescu 1, 2
1 OAK - Database optimizations and architectures for complex large data
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
3 PILGRIM - Gradedness, Imprecision, and Mediation in Database Management Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : We devise a query optimization framework for formalisms enjoying FOL reducibility of query answering, for which it reduces to the evaluation of a FOL query against facts. This framework allows searching within a set of alternative equivalent FOL queries, i.e., FOL reformulations, one with minimal evaluation cost when evaluated through a relational database system. We provide two algorithms, an exhaustive and a greedy, for exploring this space of alternatives. We apply this framework to the DL-LiteR description logic underpinning the W3C’s OWL2 QL profile; an experimental evaluation validates its interest and applicability.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/hal-01143498
Contributor : Damian Bursztyn <>
Submitted on : Wednesday, May 27, 2015 - 12:08:01 PM
Last modification on : Monday, December 9, 2019 - 5:24:07 PM
Long-term archiving on: Monday, April 24, 2017 - 3:32:55 PM

File

RR-8714.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01143498, version 2

Collections

Citation

Damian Bursztyn, François Goasdoué, Ioana Manolescu. Efficient query answering in the presence of DL-LiteR constraints. [Research Report] RR-8714, INRIA Saclay; INRIA. 2015. ⟨hal-01143498v2⟩

Share

Metrics

Record views

122

Files downloads

136