FaW ++ OWL Protege的推理器

Question

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

我是该软件的新手，我不知道如何将faCT ++与OWL protege一起使用。 我可以看到我可以从“推理器＆gt; FaCt ++”中选择推理器，但我该怎么办呢？

提前谢谢。

Answer 1

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