semantic-web - protegé 的语义推理器是如何制作的？

Question

我是“本体世界”的新手。我已经练习 Protegé 和本体 2 个月了，现在我想了解(如果可以创建)一个推理器。但我不知道它的结构是什么，它使用的语言等等。
你能给我提供一些信息和一些可以阅读的东西吗？谢谢你。

Answer 1

推理者的任务是产生推论。标准推理任务是一致性检查、实现、实例检查和可满足性。您可以在许多有关描述逻辑的书籍和文章中找到所有这些定义。

Protege 使用 OWL API 来连接推理器，因此它们是 OWLReasoner 的实现。 .并非所有这些都是用 Java 编写的(例如，FaCT++ 是用 C++ 编写的)。
它们是相当复杂的系统，因此描述如何实现一个需要章节——这里的答案太大了。
我建议探索其中一些的源代码。开源的，在我脑海中浮现:HermiT、FaCT++、Pellet、JFact、ELK。