Efficient query answering in the presence of DL-LiteR constraints - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 2015

Efficient query answering in the presence of DL-LiteR constraints

Répondre efficacement aux requêtes en présence de contraintes DL-LiteR

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.
Nous établissons un cadre d’optimisation de requêtes pour les formalismes où le problème de répondre à une requête est FOL réductible, dans lesquels qu’il se ramène à l’évaluation d’une requête FOL sur des faits. Ce cadre permet de chercher au sein d’un ensemble de requêtes FOL équivalentes, c’est-à-dire des reformulations FOL, une alternative avec un coût d’évaluation minimal lorsqu’évaluée par un système de gestion de bases de données relationnelles. Nous fournissons deux algorithmes, un exhaustif et un glouton, pour explorer cet espace d’alternatives. Nous appliquons ce cadre à la logique de description DL-LiteR sur laquelle se fonde le profile OWL2QL du W3C ; une évaluation expérimentale valide son intérêt et applicabilité.
Fichier principal
Vignette du fichier
RR-8714.pdf (642.8 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01143498 , version 1 (23-04-2015)
hal-01143498 , version 2 (27-05-2015)
hal-01143498 , version 3 (26-05-2016)
hal-01143498 , version 4 (22-08-2016)

Identifiers

  • HAL Id : hal-01143498 , version 2

Cite

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⟩

Collections

UMR8623 LRI-LAHDAK
634 View
599 Download

Share

More