arXiv:2308.07332v2 更新通知类型: 替换 摘要: 在本文中，我们探讨了Notation3逻辑(N3)，这是一种扩展了RDF的语法规则，使得用户能够为RDF图引入新的空白节点。这一能力在各种应用中至关重要，尤其是在本体映射方面，因为空白节点（无论是直接还是在辅助构造中）在Web上无处不在。然而，支持空白节点引入的快速N3推理器仍然相对有限。相反，像VLog或Nemo这样的引擎，尽管不是特别为语义网规则格式设计的，但它们可以处理类似的构造，即存在规则。 我们研究了带有空白节点头部的N3规则与其存在规则之间的关联。我们确定了一部分N3规则，可以无缝转换为存在规则，并建立了保留N3公式等价性的映射。为了展示这一转换在N3推理中的潜在好处，我们实现了这一映射，并将EYE和cwm等N3推理器与VLog和Nemo进行比较，分别对比它们处理原生N3规则和转换后的规则的性能。我们的发现表明，存在规则推理器在事实丰富的情况下表现出色，而EYE推理器在处理大量依赖规则时表现出极高的速度。 除了原始会议版本的文章外，我们还包含了定理的所有证明，并引入了一节新的内容，专门讨论N3列表（具有内置函数）及其如何在存在规则中实现。添加列表到我们的转换/框架中，给我们提供了关于相关设计决策如何影响N3标准化的有趣见解。