“保护”菜单中未启用“启动推理器”

Question

我创建了实体，类，对象属性和全部保护（4.3.0），但菜单中的启动推理项被禁用。我是否需要做任何积极的启动推理器？

Answer 1

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