如何在Konclude推理器中检查类是否不一致？

命令行方式 #

• 先完成本体的推理任务，再用Konclude的命令行参数指定目标类：

  konclude --check-consistency --class "目标类名称" --ontology "本体文件路径"
  

• 执行后，Konclude会直接返回结果：提示类"不可满足（unsatisfiable）"即为不一致，"可满足"则说明类是一致的。

GUI界面方式 #

• 加载本体并等待推理完成后，在左侧本体导航栏找到目标类。
• 右键点击该类，选择Check Satisfiability选项。
• 结果会在弹出窗口或底部输出面板中显示：不可满足的类就是你在Protégé里看到的红色不一致类。

快速批量识别 #

• 推理完成后，Konclude会自动标记所有不可满足的类，通常会在类名旁显示红色标识或删除线样式，直接在类列表里就能快速找到。
• 要批量导出所有不一致类，用以下命令：

  konclude --check-all-unsatisfiable-classes --ontology "本体文件路径"
  

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