如何制作一个语义推理器？

Question

我是“本体论世界”的新手。我已经练习了两个月的精神和本体论，现在我想要理解(如果可能的话)一个推理者。但我不知道它的结构，它所用的语言等等。你能给我提供一条信息和一些阅读的东西吗？谢谢。

Answer 1

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

Protege使用OWL与推理器接口，因此它们是OWLReasoner的实现。并非所有这些代码都是用Java编写的(例如，FaCT++是用C++编写的)。他们是相当复杂的系统，所以描述如何实现一个需要章节-太大了，在这里的答案。我建议探究其中几个的源代码。开源的，我头顶上的: HermiT，FaCT++，Pellet，JFact，ELK。