论文标题
对存在规则的遗忘和半斑点的界限
Oblivious and Semi-Oblivious Boundedness for Existential Rules
论文作者
论文摘要
我们在积极存在规则的背景下研究界限的概念，也就是说，是否存在与追逐程序深度的上限，这与初始实例无关。通过将注意力集中在遗忘和半斑点的追逐变体上，我们就可以在fo-剥夺性和追逐终止方面给出了界限的特征。我们表明，确定是否有一组规则对几个类别有限并概述问题的复杂性。 该报告包含在2019年IJCAI上发表的论文和带有完整证明的附录。
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.
