是否有任何基于“描述逻辑”或基于 FOL 的推理引擎 java 库可用？答案

【问题标题】：Are there any "Description Logic"-based or FOL-based inference engine java libraries available?是否有任何基于“描述逻辑”或基于 FOL 的推理引擎 java 库可用？
【发布时间】：2012-11-24 07:52:56
【问题描述】：

我最近在一门 AI 课程中学习了 KRL（知识表示语言），发现描述逻辑是语义 Web 的正式知识表示语言家族，这很有趣。此外，在描述逻辑中，表示知识比在一阶谓词逻辑中更简单易懂。

有人知道可用于处理描述逻辑或一阶逻辑的 Java 库吗？

【问题讨论】：

标签： java artificial-intelligence semantic-web first-order-logic description-logic

【解决方案1】：

至少OWL-reasoners Pellet和HermiT这两个是用Java写的。

咆哮

您只能用 DL 或一般逻辑来表示某种特定类型的知识 - 主要是定义和术语知识。

但是你不能合理地代表现实世界的状态。逻辑无法应对不确定性并且如果你只在模型中引入一个缺陷，它们就会彻底失败，这对于更大的模型来说是不可避免的。

当我了解一阶逻辑时，我还发现它们很有趣。但现实世界无法用逻辑建模，除非在最基本的层面（自然法则）......

【讨论】：

【解决方案2】：

您可以在这里找到专门为此而构建的库：

LogicJava.wordpress.com

代码在 github 上是开源的，该库没有任何依赖 - 只需导入它的 Jar

【讨论】：