有没有可用的“描述逻辑”-based或基于FOL的推理引擎java库？
有没有可用的“描述逻辑”-based或基于FOL的推理引擎java库？
提问于 2012-11-24 15:52:56
我最近在一门AI课程中学习了KRL (知识表示语言)，发现令人着迷的是，描述逻辑是语义Web的正式知识表示语言家族。此外，在描述逻辑中，知识的表示比一阶谓词逻辑更简单、更容易处理。
有没有人知道可以用来处理描述逻辑或一阶逻辑的Java库？
回答 2
Stack Overflow用户
发布于 2012-11-24 18:29:03
至少有两个OWL-reasoners Pellet和HermiT是用Java语言编写的。
范围
一般情况下，您只能使用DL或逻辑来表示某些特定类型的知识-主要是定义和术语知识。
但是你不能合理地表示真实世界的状态。逻辑不能处理不确定性和如果你只在你的模型中引入一个单一的缺陷，那么它们将完全失败，这将不可避免地发生在更大的模型中。
当我了解一阶逻辑时，我也发现它们很吸引人。但现实世界不能用逻辑建模，除非是在最基本的层面上(自然规律)……
Stack Overflow用户
发布于 2013-02-17 00:07:26
你可以在这里找到一个专门为此而构建的库：
LogicJava.wordpress.com
代码在github上是开源的，并且库没有依赖性-只需导入它的Jar
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/13539396
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号