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

Question

我用规则集OWL(优化)在回购中加载了以下语句。

@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优化的规则集“不知道”owl:Class是什么，所以您不会从与资源rdf:类型owl:Class相关的语句中得到任何推断。

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

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