×

存在规则的非循环概念及其在本体中查询应答中的应用。 (英语) Zbl 1270.68295号

摘要:在知识表示和数据库中,回答由存在规则扩展的事实集上的连接查询(CQ)是一个突出的问题。这个问题可以使用chase算法来解决,该算法用新的事实扩展给定的事实集,以满足规则。如果追逐终止,那么可以在结果事实集中直接评估CQ。然而,追逐并不一定会终止,检查追逐是否根据给定的规则和事实终止是不可决定的。许多非循环性概念被提出作为追逐终止的充分条件。在本文中,我们提出了两个新的非循环概念,称为模型信念非循环(MFA)和模型汇总非循环(MSA)。此外,我们调查了已知非循环概念的情况,并对我们已知的所有概念建立了完整的分类。最后,我们表明MFA和MSA概括了大多数这些概念。
存在规则与OWL 2本体语言的Horn片段密切相关;此外,一些著名的OWL 2推理机通过使用追赶实现所有相关事实来实现CQ应答。为了避免终端问题,许多系统只处理OWL2的OWL2 RL配置文件;此外,有些系统超越了OWL 2 RL,但没有任何终止保证。在本文中,我们还研究了各种非循环概念是否能够为这些问题提供原则性和实用的解决方案。在理论方面,我们表明非循环本体的查询应答比一般本体的复杂度低。在实践方面,我们表明,许多常用的OWL 2本体都是MSA,并且通过物化获得的事实数量不太多。因此,我们的结果表明,基于物化的OWL2推理机的原则开发实际上是可行的。

MSC公司:

68立方英尺 知识表示
68第20页 信息存储和数据检索
PDF格式BibTeX公司 XML格式引用