再论存在规则及其扩展到非单调否定的Chase终止性

存在规则已被提出用于表示本体知识，特别是在基于本体的数据访问背景下。存在规则的蕴涵问题是不可判定的。本文关注确保一种称为chase的广度优先前向链算法终止的条件。已经提出了几种chase变体。在本文的第一部分，我们提出了一种新工具，可以扩展确保chase终止的现有无环性条件，同时保持良好的复杂性性质。在第二部分，我们研究了在稳定模型语义下存在规则扩展到非单调否定的情况，讨论了chase变体对这些规则的相关性，并进一步扩展了在肯定情况下获得的无环性结果。