Protege reasoner 强调 ontology 的个人

Question

我在 Protege 上建了一个 ontology，我运行 Pellet reasoner，我看到它有很多人用浅黄色。这意味着我的 ontology 有问题？？我如何找到哪里出了问题？正如此处的教程所示，我没有看到任何红色类：

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 启动之前未明确描述）。 ontology 上的错误将显示为红色。我建议您打开 pizza ontology 并检查 IceCream class 作为 Protégé 如何处理错误的示例。

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

Protege reasoner 强调 ontology 的个人

Protege reasoner highliting individuals of an ontology

ontology

protege