Optimizing FOL reducible query answering

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 the interest and applicability of our technique.
Type de document :
Communication dans un congrès
BDA'15, Sep 2015, Île de Porquerolles, France. <http://bda2015.univ-tln.fr/>
Liste complète des métadonnées

https://hal.inria.fr/hal-01174300
Contributeur : Damian Bursztyn <>
Soumis le : mercredi 8 juillet 2015 - 19:11:35
Dernière modification le : vendredi 17 février 2017 - 16:11:08
Document(s) archivé(s) le : vendredi 9 octobre 2015 - 11:25:47

Fichier

dlr-bda15.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01174300, version 1

Citation

Damian Bursztyn, François Goasdoué, Ioana Manolescu. Optimizing FOL reducible query answering. BDA'15, Sep 2015, Île de Porquerolles, France. <http://bda2015.univ-tln.fr/>. <hal-01174300>

Partager

Métriques

Consultations de
la notice

472

Téléchargements du document

110