如何安装fact++插件并启用启动推理器

Question

嗨，我是新来的。

我下载了Protege4.0.2，并在其中创建了一个本体，但我似乎没有任何推理者来检查它的一致性。

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

如果我没有正确地完成它，那么我可以从哪里下载fact++或任何其他推理者为抗议者，以及我如何安装它。

我已经浏览了很多，但没有找到一个东西，如何安装推理机。

提前谢谢。

Answer 1

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

为了激活推理器，您可以选择一个，然后在相同的菜单中选择“开始推理器”。

要安装新的原因，您可以使用Protege界面中的插件菜单，也可以下载您想要的reasoner插件(通常是作为一个jar分发的)，然后复制到您可以在Protege安装中找到的plugins文件夹中。在副本之后开始抗议，推理者应该出现在“推理者”菜单中。

Answer 2

转到Protege ->插件->，并检查是否安装了FactPlusPlus插件。如果是，那么您将在推理菜单中看到Fact++推理者。

​

​

如果没有安装fact++插件，请按照以下步骤操作。

1. 单击复选框以“启动时自动检查插头更新”。
2. 重新启动抗议者
3. 您将看到在重新启动时打开的自动更新窗口，如下所示。选择Fact++插件并安装

​

​

1. 重新启动抗议者
2. 转到“推理者”菜单->，选择“Fact++ ->”，它将启用“开始推理”选项

​

​