SWRL是否像Jena一样支持空白节点推断？

Question

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

耶拿提供makeTemp一个内置的方法做的工作在这里看到的细节 。

这是一个例子：

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

我的问题是：

SWRL是否在规则的结果方面支持空白节点推理？ SWRL w3c对这种特殊情况一无所获。

Answer 1

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

此处的重要见解是Jena规则适用于RDF，该概念具有URI节点，空白节点和文字的概念。 SWRL规则适用于OWL结构。 实际上，您不需要RDF即可进行OWL推理，而无需任何底层RDF表示就可以进行SWRL推理。 因此，如果您使用的是SWRL，则不必考虑某个对象是否为空白节点。 OWL没有空白节点。 空白节点是RDF结构。