Oblivious and Semi-Oblivious Boundedness for Existential Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2019

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Abstract

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

Dates and versions

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

Identifiers

Cite

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⟩
296 View
255 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More