含等式存在规则本体上追逐终止性检查
计算机科学中的逻辑
2019-11-26 v1 人工智能
摘要
追逐是关于含等式存在规则本体的合取查询应答的一个可靠且完备的算法。为使其有效使用,我们可以应用非循环性概念;即保证追逐终止的充分条件。遗憾的是,这些概念大多仅针对不含等式的存在规则集定义。对此问题的一个提议解决方案是将等式视为带有显式公理化的普通谓词。我们通过实验表明该方案在实践中效率不高,并提出了一种替代方法。更确切地说,我们证明:若追逐对于某本体的任意等式公理化终止,则其对于原始本体(可能含等式)也终止。因此,人们可将已有的非循环性概念应用于本体的某个公理化以检查追逐终止性,随后使用原始本体进行推理。我们表明,在实践中这样做会带来更高效的推理过程。此外,我们提出了等式模型忠实非循环性,一种可直接应用于含等式本体的通用非循环性概念。
引用
@article{arxiv.1911.10981,
title = {Checking Chase Termination over Ontologies of Existential Rules with Equality},
author = {David Carral and Jacopo Urbani},
journal= {arXiv preprint arXiv:1911.10981},
year = {2019}
}