owl - Protégé 推理器不推断子类
问题描述
我定义了一个小的本体，如下图所示：
我创建了一个个人 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
解决方案
推荐阅读
- asp.net - jQuery DataTable 服务器端处理集成
- reactjs - 使用 Framer-motion 悬停在父级时为子级设置动画
- java - 即使我们在 catch 块中处理异常，如何在 spring 中使用 @ControllerAdvice 处理异常
- python - pytesseract - 识别不同背景的文本
- javascript - 在 React Native 应用程序（使用 Expo + Redux）中在哪里初始化 API 密钥（例如：Amplitude）？
- node.js - heroku 不使用纱线缓存模块
- python-3.x - 如何抓取不变的Url的不同页面，这些页面随着Url顶栏上的选项卡而变化？
- golfscript - 这个 GolfScript 代码如何打印 1000 位 pi？
- python - 使用 AWS Lambda 函数将机器学习带入现场生产
- javascript - Node.js 中的单线程究竟是如何工作的？