Logo image
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms
Thèses et HDR   Open Access

Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms

Michaël Thomazo
Doctoral, Université de Montpellier
24/10/2013

Résumé

Intelligence Artificielle Représentation des connaissances et raisonnement Datalog+/- Règles existentielles Requêtes conjonctives
Ontology-based data access (OBDA) aims at enriching query answering by taking general background knowledge into account when evaluating queries. This background knowledge is represented by means of an ontology, that is expressed in this thesis by a very expressive class of first-order formulas, called existential rules (sometimes also tuple-generating dependencies and Datalog+/-). The high expressivity of the used formalism results in the undecidability of query answering, and numerous decidable classes (that is, restrictions on the sets of existential rules) have been proposed in the literature. The contribution of this thesis is two-fold: first, we propose a unified view of a large part of these classes, together with a complexity analysis and a worst-case optimal algorithm for the introduced generic class. Second, we consider the popular approach of query rewriting, and propose a generic algorithm that overcomes trivial causes of combinatorial explosion that make classical approaches inapplicable.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image