Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract)

Damian Bursztyn 1, 2 François Goasdoué 3, 2 Ioana Manolescu 2, 1
2 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 propose a general query optimization framework for formalisms enjoying DL Lite 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 re-formulations, one with minimal evaluation cost when evaluated through a relational database management system. We provide two algorithms, an exhaustive and a greedy, for exploring the optimization space. This framework is applied to the lightweight description logic DL-LiteR underpinning the W3C's OWL2 QL profile, for which an experimental evaluation validates the interest and applicability of our technique.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01155715
Contributor : Damian Bursztyn <>
Submitted on : Wednesday, May 27, 2015 - 11:58:03 AM
Last modification on : Thursday, December 19, 2019 - 1:31:59 AM
Long-term archiving on: Monday, April 24, 2017 - 3:36:28 PM

File

dl15.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01155715, version 1

Citation

Damian Bursztyn, François Goasdoué, Ioana Manolescu. Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract). 28th International Workshop on Description Logics, Jun 2015, Athens, Greece. ⟨hal-01155715⟩

Share

Metrics

Record views

717

Files downloads

129