存在式 Notation3 逻辑

在本文中,我们深入探讨了 Notation3 逻辑(N3),它是 RDF 的一种扩展,使用户能够编写向 RDF 图中引入新空白节点的规则。鉴于空白节点直接地或通过辅助结构在 Web 中无处不在,这一能力在诸如本体映射等多种应用中至关重要。然而,完全支持空白节点引入的快速 N3 推理机仍然有限。相反,像 VLog 或 Nemo 这样的引擎虽非专为语义网规则格式设计,却支持类似的构造,即存在式规则(existential rules)。我们研究了头部带有空白节点的 N3 规则与存在式规则之间的关联。我们确定了 N3 的一个可无缝翻译为存在式规则的子集,并建立了保持 N3 公式等价性的映射。为展示该翻译在 N3 推理中的潜在益处,我们实现了此映射,并在原生 N3 规则及其翻译对应物上,将 EYE 和 cwm 等 N3 推理机与 VLog 和 Nemo 的性能进行了比较。我们的发现表明,存在式规则推理机在事实丰富的场景中表现出色,而 EYE 推理机在处理大量依赖规则时展现出卓越的速度。除本文原始会议版本外,我们包含了所有定理的证明,并引入了一个专门讨论带有内建函数的 N3 列表及其如何在存在式规则中实现的新章节。将列表加入我们的翻译/框架,为影响 N3 标准化的相关设计决策提供了有趣的见解。