Oblivious and Semi-Oblivious Boundedness for Existential Rules - ANR - Agence nationale de la recherche Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Résumé

We study the notion of boundedness in the contextof positive existential rules, that is, whether thereexists an upper bound to the depth of the chase pro-cedure, that is independent from the initial instance.By focussing our attention on the oblivious and thesemi-oblivious chase variants, we give a character-ization of boundedness in terms of FO-rewritabilityand chase termination. We show that it is decidableto recognize if a set of rules is bounded for several classes and outline the complexity of the problem.
Fichier principal
Vignette du fichier
camera_ready.pdf (234.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-02148142 , version 1 (05-06-2019)

Identifiants

Citer

Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, et al.. Oblivious and Semi-Oblivious Boundedness for Existential Rules. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩. ⟨lirmm-02148142⟩
321 Consultations
287 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More