OWL Protege 的 FaCT++ 推理器

Question

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

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

提前谢谢你。

Answer 1

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