潜在规则的不经意和半不经意有界性
Oblivious and Semi-Oblivious Boundedness for Existential Rules
摘要：
我们研究的概念有界性的背景下，积极存在的规则，即是否存在一个上限的追逐程序的深度，这是独立于初始实例。通过将注意力集中在不经意和半不经意的追逐变体上，我们给出了有界性的一个表征，即FO-可重写性和追逐终止性。我们表明，它是可判定的，以认识到，如果一组规则是有界的几个类，并概述了问题的复杂性。本报告包含在IJCAI 2019上发表的论文和带有完整证明的附录。
英文摘要：
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 oblivious and the semi-oblivious chase variants, we give a characterization of boundedness in terms of FO-rewritability and chase termination. We show that it is decidable to recognize if a set of rules is bounded for several classes and outline the complexity of the problem. This report contains the paper published at IJCAI 2019 and an appendix with full proofs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
