protege4 - 如何为 protege 4.x 安装推理器

Question

嗨，我是新手。

我下载了 protege 4.0.2 并在其中制作了一个本体，但似乎我没有任何理由来检查它的一致性。

它还显示了一个推理选项卡，但在选择 fact++ 后，我没有看到任何变化。

如果我没有正确完成它，那么我可以从哪里下载 fact++ 或任何其他用于 protege 的推理器，以及如何安装它。

我浏览了很多，但没有找到关于如何安装推理器的东西。

提前致谢。

Answer 1

我会推荐一个更新版本的 Protege - 至少 4.3.0。

为了激活推理器，您需要选择一个，然后在同一菜单中选择“启动推理器”。

要安装新的推理器，您可以使用 Protege 界面中的插件菜单，或者您可以下载所需的推理器插件（通常作为 jar 分发）并复制到插件文件夹中，您可以在 Protege 安装中找到该文件夹​​。复制后启动 Protege，推理器应该出现在推理器菜单中。