Rdf GraphDB推理对类进行不同的推理

我使用规则集OWL Horst（优化）在repo中加载了以下语句

---

为什么会发生这种情况？

owl-horst优化规则集“不知道”什么是owl:Class，因此您不会从与资源相关的语句中推断出任何东西，这些语句是rdf:type of owl:Class

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

---

获取推断内容的一种方法是将“owl:Class rdfs:subassof rdfs:Class”添加到存储库中。

owl-horst优化规则集“不知道”什么是owl:Class，因此您不会从与资源相关的语句中推断出任何内容

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

获得推断结果的一种方法是将“owl:Class rdfs:subassof rdfs:Class”添加到存储库中

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

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

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