Oblivious and Semi-Oblivious Boundedness for Existential Rules

Autor: Sophie Tison, Marie-Laure Mugnier, Lily Gallois, Michel Leclère, Federico Ulliana, Pierre Bourhis

Publikováno v: IJCAI 2019-28th International Joint Conference on Artificial Intelligence
IJCAI 2019-28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
IJCAI
HAL
[Research Report] LIRMM (UM, CNRS). 2020
28th nternational Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China

We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure , that is independent from the initial instance. By focussing our attention on the obliv

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81b5688c7aefabe3e3a33e5416847a5d
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/document