当使用OWL2属性链上载本体时，Resoner不使用FUSEKI / OWLIM

Question

我想利用OWL中的属性链，并在FUSEKI / OWLIM中实现推理，但我无法使用OWL2属性链进行推理。

我使用Protege工具来定义本体论。本体文件包含"hasGrandParent“对象属性的以下属性链

• hasParent·hasParent→hasGrandParent

当启用推理器时，推理工作良好，显示了关系(hasGrandParent关系)，但当将相同的本体文件加载到FUSEKI / OWLIM时，推理不起作用。我肯定在配置上遗漏了一些东西。

有人能帮我把这件事做好吗。

Answer 1

GraphDB (OWLIM)支持这一点，因为版本4。owl:propertyChainAxiom规则https://www.w3.org/TR/owl2-profiles/#prp-spo2实现如下：

Id: prp_spo2_1
    p <owl:propertyChainAxiom> pc
    start pc last                   [Context <onto:_checkChain>]
    ----------------------------
    start p last

Id: prp_spo2_2
    pc <rdf:first> p
    pc <rdf:rest> t                 [Constraint t != <rdf:nil>]
    start p next
    next t last                     [Context <onto:_checkChain>]
    ----------------------------
    start pc last                   [Context <onto:_checkChain>]

Id: prp_spo2_3
    pc <rdf:first> p
    pc <rdf:rest> <rdf:nil>
    start p last
    ----------------------------
    start pc last                   [Context <onto:_checkChain>]

但是，如果将自己限制为长度为2的链，则可以更快地实现类似的功能。