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

黄色背景表示已推断出项目/属性（在启动推理机之前未明确描述）。本体上的错误应显示为红色。我建议您打开披萨本体并检查IceCream类，以作为protégé如何处理错误的示例。

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