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

Question

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

Answer 1

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