【发布时间】：2014-12-31 08:36:32
【问题描述】：
我是“本体世界”的新手。我已经练习 Protegé 和本体 2 个月了，现在我想了解（如果可以创建）一个推理器。但我不知道它的结构是什么，它使用的语言等等。 你能给我提供一些信息和一些可以阅读的东西吗？谢谢你。
【问题讨论】：
标签： semantic-web ontology
【发布时间】：2014-12-31 08:36:32
【问题描述】：
推理者的任务是产生推论。标准推理任务是一致性检查、实现、实例检查和可满足性。您可以在许多有关描述逻辑的书籍和文章中找到所有这些定义。
Protege 使用 OWL API 来连接推理器，因此它们是 OWLReasoner 的实现。并非所有这些都是用 Java 编写的（例如，FaCT++ 是用 C++ 编写的）。
它们是相当复杂的系统，因此描述如何实现一个需要章节——这里的答案太大了。
我建议探索其中一些的源代码。开源的，我想不到的：HermiT、FaCT++、Pellet、JFact、ELK。
【讨论】：