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 : Thursday, April 23, 2015 - 2:11:41 PM
Last modification on : Monday, December 9, 2019 - 5:24:07 PM
Long-term archiving on: Tuesday, April 18, 2017 - 10:54:12 PM

File

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

Identifiers

  • HAL Id : hal-01143498, version 1

Citation

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

Share

Metrics

Record views

41

Files downloads

52