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

Question

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

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

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

如果查看推断的语句，我会发现对于类:Foo而言没有推断。相反，:Bar和:Baz都有基本的推断语句。例如：

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

为什么会发生？

Answer 1

owl-horst优化的规则集“不知道” owl：Class是什么，因此您不会从涉及资源的声明中推断出任何东西：owl：Class的rdf：type

产生的推断归因于rdfs：subClassOf的rdfs：domain和rdfs：range及其传递性。

一种推断的方法是在存储库中添加“ owl：Class rdfs：subClassOf rdfs：Class”。