我定义了一个小的本体，如下图所示：
我创建了一个个人 forDataset和一个 for Algorithm。我预计reasoner会推断Algorithm个人为Linear_Least_Regression，但这并没有发生。
这是Dataset个人的定义。可以看出，个人满足Dataset了Linear_Least_Regression
此外，如果我添加个人Linear_Least_Regression的类型Algorithm，推理者不会抱怨。
我也试图Linear_Least_Regression用 a 来获得结果，DL Query但这也没有奏效。
在为我的本体建模时我错过了什么还是问题出在推理机上？我尝试了以下两个推理：FaCT++ 1.6.5和HermiT 1.3.8.413Protégé 5