Protege 推理器突出本体的个体

Question

我已经在 Protege 上构建了一个本体，我运行了 Pellet 推理器，我看到它被许多人染上了浅黄色。这说明我的本体有问题？？我如何发现出了什么问题？正如这里的教程所示，我没有看到任何红色的类：

https://protegewiki.stanford.edu/wiki/Using_Reasoners

我该怎么办？

我在日志上得到了这个（如果有帮助的话）：

   INFO  13:31:37  REASONER CHANGED
   INFO  13:31:40  ------------------------------- Running Reasoner -------------------------------
   INFO  13:31:40  Pre-computing inferences:
   INFO  13:31:40      - class hierarchy
   INFO  13:31:40      - object property hierarchy
   INFO  13:31:40      - data property hierarchy
   INFO  13:31:40      - class assertions
   INFO  13:31:40      - object property assertions
   INFO  13:31:40      - same individuals
   INFO  13:31:40  Ontologies processed in 28 ms by Pellet
   INFO  13:31:40  
   INFO  13:31:40  REASONER CHANGED

Answer 1

黄色背景表示该项目或属性已被推断（在启动推理器之前未明确描述）。本体上的错误将显示为红色。我建议您打开 pizza 本体并检查 IceCream 类作为 Protégé 如何处理错误的示例。

日志只是表示推理器的检查设置。有关更多信息，请参阅官方文档，因为它明确解决了您的部分问题。