Protege 5.0.0 Classify按钮

Question

我正在关注Pizza Ontology的教程，它说我需要在Reasoner选项卡下选择Classify按钮。但是我使用的版本，即Protégé5.0.0-beta-23，在Reasoner选项卡下没有这样的按钮。

你知道吗，我能找到这个功能吗？

Answer 1

教程已在说明中过时。

要在Protege 5上进行推理，请使用Reasoner菜单，单击菜单底部的其中一个可用的reasoners（例如，HermiT），然后在推理器菜单中再次选择Start reasoner。

Answer 2

根据section 4.9

中的词汇

  

Reasoners有时被称为分类器。然而，分类并不是reasoners提供的唯一推理服务......

因此，按钮Classify...只是一种触发或调用推理器的方式，以便

  

测试一个类是否是另一个类或检查的子类   不一致。

要在Protégé5中调用推理器，您可以按照Ignazio's post的说明操作，您将看到输出与教程中的描述非常相似：ProbeInconsistentTopping变为红色。