owl - OWL Protege 的 FaCT++ 推理器

Question

我下载了 OWL Protege 4.3。我构建了一个本体，我想检查给定配置的一致性。

我对软件完全陌生，我不知道如何将 faCT++ 与 OWL protege 一起使用。我可以看到我可以从“Reasoner > FaCt++”中选择一个推理器，但是我该怎么办？

先感谢您。

Answer 1

您需要在选择之后启动推理器。该命令位于同一菜单中。