如何制作用于保护的语义推理器？

Question

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

Answer 1

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

Protege使用OWL API与reasoners接口，因此它们是OWLReasoner的实现。并非所有这些都是用Java编写的（例如，FaCT ++是用C ++编写的）。 它们是相当复杂的系统，所以描述如何实现它需要章节 - 这里的答案太大了。 我建议您探索其中一些的源代码。开源的，我的头脑：HermiT，FaCT ++，Pellet，JFact，ELK。