ほとんどの推論エンジンは、ユーザーが独自の推論ルールを追加できるSWRLをサポートしています。ただし、私のコンテキストでは、これらのユーザー ルールでは、ルールの結果側で空白ノードを推論する必要があります。
Jena はmakeTemp、この作業を行うための組み込みメソッドを提供します。詳細については、こちらを参照してください。
例を次に示します。
[r1: (?e1 st:runningTask st:gic_eth0), makeTemp(?p)
->
(?p rdf:type st:dataFromEthernet2IP) ]
私の質問は：
SWRL はルールの結果側で空白ノードの推論をサポートしていますか? SWRL w3cは、この特定の状況について何も述べていません。