Protege 菜单中未启用启动推理器答案

【问题标题】：Start reasoner is not enabled in Protege menuProtege 菜单中未启用启动推理器
【发布时间】：2014-08-27 12:01:46
【问题描述】：

我在 protege(4.3.0) 中创建了实体、类、对象属性和所有内容，但菜单中的启动推理器项目被禁用。我需要做些什么来主动启动推理器吗？

【问题讨论】：

您需要提供更多信息。你选择了推理者吗？
我只是根据该教程中的 youtube 教程去保护和创建实体等，他确实启动了推理器，但它在我的保护窗口中被禁用
如果您想学习一些 YouTube 教程，请链接到它。在您这样做之前，我们不知道您在说什么。
在 4:28，注意底部的 Reasoner 菜单中有三个项目：FaCT++、HermiT 1.3.8和无。在视频中，选择了HermiT 1.3.8。您必须先选择一个推理器，然后才能执行 Start Reasoner。
我已经编辑了这个问题，以便更清楚地表明问题是菜单项是 /disabled/ 而不是 /not working/

【解决方案1】：

在这个tutorial on YouTube, 4:28 中，请注意底部的Reasoner 菜单中有三个项目：FaCT++、HermiT 1.3.8和无。在视频中，选择了HermiT 1.3.8。您必须先选择一个推理器，然后才能执行启动推理器。 FaCT++ 和 HermiT 只是不同的 OWL 推理器。 Pellet 是另一个可以与 Protégé 一起使用的工具，但您必须安装插件。

【讨论】：