论文标题
存在规则的正常化：不是那么无害！
Normalisations of Existential Rules: Not so Innocuous!
论文作者
论文摘要
存在规则是一种表达性知识表示语言，主要开发用于查询数据。在文献中，它们通常被认为是一种正常形式，可以简化技术发展。例如，一个共同的假设是规则头是原子，即仅限于一个原子。只要可以在保留需要的同时将所有规则归一化，只要所有规则都可以归一化，就会认为这样的假设是在不丧失一般性的情况下做出的。但是，一个重要的问题是确保推理可决定性的属性是否也得到了保留。我们对这些程序对Chase（非）终止和FO-剥夺性的不同追逐变体的影响进行了系统的研究。这也使我们研究了与追逐独立利益终止有关的开放问题。
Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common assumption is that rule heads are atomic, i.e., restricted to a single atom. Such assumptions are considered to be made without loss of generality as long as all sets of rules can be normalised while preserving entailment. However, an important question is whether the properties that ensure the decidability of reasoning are preserved as well. We provide a systematic study of the impact of these procedures on the different chase variants with respect to chase (non-)termination and FO-rewritability. This also leads us to study open problems related to chase termination of independent interest.
