owl - 为什么 OWL-DL 推理如此高效?
问题描述
我一直很难理解为什么OWL-DL 推理在实际应用中如此高效。
例如,我经常使用 Fact++ 推理器处理的 ALCQI 片段中的本体,众所周知,概念可满足性是 PSPACE-complete,逻辑蕴涵是 EXPTIME。
在这里,幻灯片 29 明确指出:
最先进的深度学习推理系统基于画面技术而不是自动机技术
+更容易实施
-不是计算最优的(NEXPTIME,2NEXPTIME)
-->系统高度优化
尽管计算复杂度很高,但在实际应用中的性能却出奇的好:
- 包含数千个概念和数百个公理的知识库
- 优于专门的模态逻辑推理器
一方面证明它们在计算上不是最优的,另一方面它们在现实世界的应用程序中即使对于大量输入也是有效的,但我无法在网上找到解释为什么这是可能的以及如何处理的资源。
明确地说,我错过了我真正想要理解的这一步。
这里有人有想法吗?
解决方案
推荐阅读
- ubuntu - 设置 hadoop 3.2.0 伪分发操作时出错
- docker - 正常更新 Ubuntu 14.04 后启动 docker 容器失败
- c# - 何时使用反射而不是引用程序集
- c# - 从控制台应用程序运行类库的断点问题
- mysql - SQL 错误 #1064。使用默认值更改表
- angular - 另一个组件 Ionic 4 中的组件
- php - 如果其他输入类型范围在php中如何
- asp.net-web-api - 为什么 web api(RestFul) .NetCore 服务不接受参数中的正斜杠,如何解决这个问题
- javascript - 如何按对象属性对数组进行分组
- android - Android webview和Ionic之间的区别