Protege 5.5.0中SPARQL查询无法获取推理语句求助

• 先确认推理机处于激活状态
  打开Protege顶部菜单栏的Reasoner，选择HermiT或Pellet这类支持推理的推理机，确保它显示为Active状态。等待底部状态栏的推理进度完成，本体中的隐含三元组才会被生成。

• 给SPARQL查询工具绑定推理机
  打开SPARQL Query窗口（路径：Window -> Tabs -> SPARQL Query），在窗口右上角的Reasoner下拉框里，选择你刚才激活的推理机，不要使用默认的None选项。这样查询时才会包含推理生成的语句。

• 检查SWRL规则的有效性
  如果使用了SWRL规则，先在SWRLTab里检查每条规则的语法，确保规则中引用的类、属性、个体都是本体中已存在的内容。规则编写完成后，点击SWRLTab中的Run Reasoner按钮触发推理，保证规则能正确生成对应的隐含三元组。

• 验证查询语句的正确性
  避免编写限制仅查询显式语句的查询逻辑，比如可以用以下基础查询验证是否能获取推理结果：

  SELECT ?subject ?type
  WHERE {
    ?subject rdf:type ?type .
  }
  

  绑定推理机后执行该查询，应该能返回所有声明语句和推理得到的类型断言。

内容的提问来源于stack exchange，提问作者nik