无法为 propertyChainAxiom 生成推理

问题描述

我正在使用 propertyChainAxiom 来构建推理语句之一.我已经定义了一个基本的本体，它定义了如下属性和语句:

I am using propertyChainAxiom to build one of the inference statements. I have defined a basic ontology which defines properties and statements as below :

例如:

:isParent rdf:type owl:ObjectProperty .
:Person1 :hasParent :Person2.
:Person2 :hasParent :Person3.

:hasGrandParent owl:propertyChainAxiom (:hasParent :hasParent) .

:Person1 :hasGrandParent ?o .

我在 Ontotext GraphDB 中定义了本体和同义词库，并使用了 OWL2-horst 规则集.语句 :Person1 :hasGrandParent 似乎没有按照推断的语句返回 Person3.我在这里遗漏了什么吗?

I have defined ontology and thesaurus in Ontotext GraphDB and have used the OWL2-horst ruleset.The statement :Person1 :hasGrandParent doesn't seems to return Person3 as per inferred statement. Am I missing something here ?

推荐答案

正如 Damyan 所说，使用 OWL-RL.

As Damyan said, use OWL-RL.

重新发布他的评论作为答案，所以这个问题不会再次出现在 [graphdb] answers:0

Reposting his comment as answer, so this question doesn't appear again in [graphdb] answers:0

这篇关于无法为 propertyChainAxiom 生成推理的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！