SWRL 是否支持作为 Jena 的空白节点推断？答案

【问题标题】：Does SWRL supports blank node inference as Jena?SWRL 是否支持作为 Jena 的空白节点推断？
【发布时间】：2015-01-09 08:53:39
【问题描述】：

大部分推理引擎支持SWRL，允许用户添加自己的推理规则。但是，在我的上下文中，这些用户规则可能需要在规则的结果侧推断一个空白节点。

Jena 提供了makeTemp 一个内置方法来完成see details here 的工作。

这是一个例子：

[r1: (?e1 st:runningTask st:gic_eth0), makeTemp(?p)
 ->
 (?p rdf:type st:dataFromEthernet2IP) ]

我的问题是：

SWRL 是否支持在规则的结果侧进行空白节点推理？ SWRL w3c 对这种特殊情况只字未提。

【问题讨论】：

标签： rdf jena inference swrl blank-nodes

【解决方案1】：

SWRL 规则中的变量采用 OWL 个体和 RDF 文字的值。空白节点不能是 RDF 文字，尽管空白节点可以是未命名的 OWL 个体。（我不确定 SWRL 是否适用于未命名但已声明的个人；它不会适用于未声明的个人（例如，其存在可以是推断，但实际上并没有声明的表示形式。）在任何情况下，SWRL 变量都不会绑定到任意空白节点。

这里的重要见解是 Jena 规则适用于 RDF，它具有 URI 节点、空白节点和文字的概念。 SWRL 规则适用于 OWL 结构。您实际上不需要 RDF 来进行 OWL 推理，并且您可以在没有任何底层 RDF 表示的情况下进行 SWRL 推理。因此，如果您使用的是 SWRL，则不必考虑某物是否为空白节点； OWL 没有空白节点；空白节点是一个 RDF 结构。

【讨论】：

@ Joshua Taylor，为什么你认为空白节点不能是 RDF 文字（我不确定我是否理解正确）？很抱歉评论了两年多的帖子。
@stanislav 这不是黑色模式是否“可以”是文字的问题。 RDF 具有三种类型的资源：IRI、文字和空白节点。它们是不同种类的东西。参见，例如，w3.org/TR/2014/NOTE-rdf11-primer-20140624/#section-data-model。
但是 SWRL 是用于编写关于 OWL 的规则，而不是（直接）RDF。由于可以在 EFF 中序列化 OWL 本体，因此可能会证明规则对某些在 RDF 中以特定方式序列化的 OWL 结构有影响。但这里重要的是 SWRL 规则（据我记得；这是一篇旧帖子）并没有为您提供创建 OWL 个体的方法，并且只有 OWL 个体可以序列化为 RDF 空白节点，因此您可以'不使用 SWRL 规则创建 RDF 空白模式。