Protégé推理程序无法推断子类

时间：2018-10-21 20:23:57

标签： owl ontology protege description-logic dlquery

我定义了一个小的本体，如下图所示：

enter image description here

我为Dataset创建了一个个人，为Algorithm创建了一个个人。我期望reasoner会将Algorithm的个人推断为Linear_Least_Regression，但这没有发生。

这是Dataset个人的定义。可以看出，个人满足了Dataset所需的Linear_Least_Regression的要求 enter image description here

此外，如果我将Linear_Least_Regression个人添加为Algorithm的类型，则推理者不会抱怨。

我还尝试通过Linear_Least_Regression来获得DL Query，但这还是行不通的。

enter image description here

在对本体进行建模时，我是否错过了某些事情？还是问题出在推理机上？ 我尝试了以下两个推理程序：FaCT++ 1.6.5和HermiT 1.3.8.413和Protégé 5

0 个答案:

没有答案
相关问题
最新问题