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
CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France, UP11 - Université Paris-Sud - Paris 11, LRI - Laboratoire de Recherche en Informatique
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, November 15, 2018 - 11:57:40 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

712

Files downloads

120