OWL推理問題

Question

我正在使用Jena語義Web框架版本2.6.3。 我有創建帶有貓頭鷹推理模型的代碼，然后添加了以下三元組：

_:bnode-3 rdf:type            owl:Restriction .

_:bnode-3 owl:onProperty      :offspringOf .

_:bnode-3 owl:someValuesFrom  :Person .

_:bnode-3 rdfs:subClassOf     :Person .

_:bnode-3應該是一個限制類，例如，如果:bob是:Person並且斷言了以下三個_:bnode-3 ，則它將包含:joe ：

:joe :offspringOf :bob . 

然后，由於限制類是Person的子類，所以:joe也將是person。

而且，實際上，這可行。 讓我感到困惑的是，在我僅斷定這篇文章頂部的4個三元組之后，推斷者創建了一個空白節點，即Person。 換句話說，模型中現在包含以下三個元素：

_:b0 rdf:type :Person

我不明白為什么會這么做。 任何幫助理解這一點將不勝感激。

謝謝。 肯特

Answer 1

我不確定為什么推理者會這樣做，因為我不是OWL專家-您是否嘗試過在jena用戶列表中提出您的問題？

他們通常會很快給您答復，他們應該知道您為什么會得到觀察到的行為。

注意

我將您的問題重新格式化，因為您的代碼示例有些混亂-請不要將Triples寫為[ex:subject ex:predicate ex:object]因為它看起來像Turtle / N3 / SPARQL中的某種語法糖，會導致額外的創建的空白節點不僅限於您想要的節點