1
私はJenaセマンティックWebフレームワークのバージョン2.6.3を使用しています。私はフクロウの推論でモデルを作成し、以下のトリプルを追加するコードしている：:bobは:Personで、以下のトリプルがあった場合OWLの推論の質問
_:bnode-3 rdf:type owl:Restriction .
_:bnode-3 owl:onProperty :offspringOf .
_:bnode-3 owl:someValuesFrom :Person .
_:bnode-3 rdfs:subClassOf :Person .
_:bnode-3は、例えば、:joeを含んでいるでしょう、制限クラスことになっていますアサート：
:joe :offspringOf :bob .
を次に、制限クラスは人のサブクラスであることから、:joeも人になります。
実際、これは機能します。私にとって混乱しているのは、このポストの先頭に4つのトリプルだけをアサートした後、推論者はPersonである空のノードを作成するということです。言い換えれば、以下のトリプルがモデルに追加されました：
_:b0 rdf:type :Person
私はこれを行う理由を理解していません。これを理解する助けとなることは大いに感謝しています。
ありがとうございました。ケント。 。