Question

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

我使用Protege工具来定义Ontology。 Ontology文件包含以下属性链，用于＆＃34; hasGrandParent＆＃34;对象属性

hasParent•hasParent→hasGrandParent

在Protege中启用推理时，推理工作正常并显示关系（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的链，则可以更快地实现类似功能。请参阅此处：http://vladimiralexiev.github.io/pres/extending-owl2/

Resoner不使用FUSEKI / OWLIM使用OWL2 Property Chain上载Ontology时

1 个答案: