我是“本体世界”的新手。我已经练习Protegé和本体论两个月了，现在我想了解一下（如果可能的话）一个推理机。但是我不知道它的结构是什么，使用的语言等等。
能否请我提供一些信息和一些阅读的信息？谢谢。
最佳答案
推理机的任务是产生推论。标准推理任务是一致性检查，实现，实例检查和可满足性。您可以在有关描述逻辑的许多书籍和文章中找到所有定义的内容。
Protege使用OWL API与推理程序进行接口，因此它们是OWLReasoner的实现。并非全部都是用Java编写的（例如FaCT ++是用C ++编写的）。
它们是非常复杂的系统，因此描述如何实现需要花费几章-太大了，无法在此处找到答案。
我建议探索其中一些的源代码。开源软件，让我无所适从：HermiT，FaCT ++，Pellet，JFact，ELK。
关于semantic-web - protegé的语义推理器是如何制作的？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/27718410/