Protege reasoner高举本体论的个体

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

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

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