{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:32:42Z","timestamp":1723015962921},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"abstract":"<jats:p>We study the notion of boundedness in the context positive existential\u00a0rules, that is, wether there exists an upper bound to the depth of the\u00a0chase procedure, that is independent from the initial instance. By\u00a0focussing our attention on the oblivious and the semi-oblivious chase\u00a0variants, we give a characterization of boundedness in terms of\u00a0FO-rewritability and chase termination. We show that it is decidable\u00a0to recognize if a set of rules is bounded for several classes of rules and outline the complexity of the problem.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/219","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:46:05Z","timestamp":1564285565000},"page":"1581-1587","source":"Crossref","is-referenced-by-count":4,"title":["Oblivious and Semi-Oblivious Boundedness for Existential Rules"],"prefix":"10.24963","author":[{"given":"Pierre","family":"Bourhis","sequence":"first","affiliation":[{"name":"CNRS, France"},{"name":"Univ. Lille, CRIStAL, France"},{"name":"Inria, France"}]},{"given":"Michel","family":"Lecl\u00e8re","sequence":"additional","affiliation":[{"name":"Univ. Montpellier, LIRMM, France"},{"name":"Inria, France"}]},{"given":"Marie-Laure","family":"Mugnier","sequence":"additional","affiliation":[{"name":"Univ. Montpellier, LIRMM, France"},{"name":"Inria, France"}]},{"given":"Sophie","family":"Tison","sequence":"additional","affiliation":[{"name":"Univ. Lille, CRIStAL, France"},{"name":"Inria, France"}]},{"given":"Federico","family":"Ulliana","sequence":"additional","affiliation":[{"name":"Univ. Montpellier, LIRMM, France"},{"name":"Inria, France"}]},{"given":"Lily","family":"Gallois","sequence":"additional","affiliation":[{"name":"Univ. Lille, CRIStAL, France"},{"name":"Inria, France"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2019","name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","start":{"date-parts":[[2019,8,10]]},"theme":"Artificial Intelligence","location":"Macao, China","end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T03:47:38Z","timestamp":1564285658000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/219"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/219","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}