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

【问题标题】：GraphDB reasoning makes different inference for ClassesGraphDB 推理对类进行不同的推理
【发布时间】：2018-07-03 12:47:59
【问题描述】：

我在带有规则集 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 .

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

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

为什么会这样？

【问题讨论】：

【解决方案1】：

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

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

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

【讨论】：