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é.
Origin | Files produced by the author(s) |
---|