GraphDB 推理对类做出不同的推理

Question

我在带有规则集 OWL-Horst（优化）的 repo 中加载了以下语句。

@prefix : <http://example.org/owlim#> .

:Foo rdf:type owl:Class .
:Bar rdf:type owl:Class . 
:Baz rdf:type owl:Class ;
     rdfs:subClassOf :Bar .

如果我查看推断语句，我会注意到 class :Foo 没有推断。相反，:Bar 和 :Baz 都有基本的推断语句。例如：

:Bar rdf:type rdfs:Class    
:Bar rdfs:subClassOf :Bar

为什么会这样？

Answer 1

owl-horst-optimised 规则集 "do not know" owl:Class 是什么，因此您不会从与资源 rdf:type of [=18] 相关的语句中推断出任何信息=]

产生的推论是由于rdfs:subClassOf的rdfs:domain和rdfs:range及其传递性。

获得推断结果的一种方法是将 "owl:Class rdfs:subClassOf rdfs:Class" 添加到存储库。

GraphDB reasoning makes different inference for Classes