如何为 protege 安装 reasoner 4.x
how to install reasoner for protege 4.x
嗨，我是新手。
我下载了 protege 4.0.2 并在其中制作了一个 ontology 但似乎我没有任何理由来检查其一致性。
它也显示了一个推理选项卡，但在选择 fact++ 之后我没有看到任何变化。
如果我没有正确完成它，那么我可以从哪里下载 fact++ 或任何其他 protege 推理器以及如何安装它。
我浏览了很多，但没有找到关于如何安装 reasoner 的东西。
提前致谢。
我会推荐更新版本的 Protege - 至少 4.3.0。
为了激活推理器，您需要 select 一个，然后在同一菜单中选择 'Start reasoner'。
要安装新的推理器，您可以使用 Protege 界面中的插件菜单，或者您可以下载所需的推理器插件（通常以 jar 形式分发）并复制到您可以在保护安装。复制完成后启动Protege，推理器应该会出现在推理器菜单中。
嗨，我是新手。
我下载了 protege 4.0.2 并在其中制作了一个 ontology 但似乎我没有任何理由来检查其一致性。
它也显示了一个推理选项卡，但在选择 fact++ 之后我没有看到任何变化。
如果我没有正确完成它，那么我可以从哪里下载 fact++ 或任何其他 protege 推理器以及如何安装它。
我浏览了很多，但没有找到关于如何安装 reasoner 的东西。
提前致谢。
我会推荐更新版本的 Protege - 至少 4.3.0。
为了激活推理器，您需要 select 一个，然后在同一菜单中选择 'Start reasoner'。
要安装新的推理器，您可以使用 Protege 界面中的插件菜单，或者您可以下载所需的推理器插件（通常以 jar 形式分发）并复制到您可以在保护安装。复制完成后启动Protege，推理器应该会出现在推理器菜单中。