Ontology-Based Query Answering Over Datalog-Expressible Rule Sets Is Undecidable - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Mémoires D'étudiants -- Hal-Inria+ Année : 2023

Ontology-Based Query Answering Over Datalog-Expressible Rule Sets Is Undecidable

Indécidabilité du problème de réponse de requête en présence d'ontologie exprimable en Datalog

Résumé

To handle the ever-increasing amount of data available, and to process it efficiently, querying data has become a ubiquitous task. In some cases, one also needs to be able to reason over data, by adding a logical layer called an ontology on top of data, giving rise to the problem of ontology-based query answering (OBQA). One way to express these ontologies is using existential rules, which are reasoning rules with the ability to create new individuals. A major drawback of existential rules is the undecidability of reasoning with them. One way of reasoning with existential rules is to rewrite the query you want to evaluate to take into account the rules. The usual algorithm rewrites conjunctive queries into union of conjunctive queries (UCQ), but several other target languages for rewritings have been studied. A natural choice for a target language is Datalog, a syntactic restriction of existential rules for which reasoning is decidable. Though, we show in this report that even when a set of existential rules admits a Datalog rewriting (we then say that it is Datalog-expressible), reasoning is still undecidable. This in particular means that, conversely to the well-studied case of UCQ-rewritings, Datalog-rewritings are not computable in general.
Fichier principal
Vignette du fichier
main.pdf (1.18 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04347020 , version 1 (15-12-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04347020 , version 1

Citer

Lucas Larroque. Ontology-Based Query Answering Over Datalog-Expressible Rule Sets Is Undecidable. Computer Science [cs]. 2023. ⟨hal-04347020⟩
15 Consultations
6 Téléchargements

Partager

Gmail Facebook X LinkedIn More