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結構。