本体设计：Subclass中的个体没有在超类中显示？

Question

我只想澄清为什么子类中的Individual / Member不会显示为超类中的成员？

例如

Human
   Male
   Female

如果男性有两个成员/个人，即“约翰”和“肖恩”，他们不应该出现在超类中吗？

根据我的理解，“约翰”和“肖恩”是男性，因此是人类

或者我是否应该明确说明要实现的目标

编辑：

好的，所以我只是测试了一些东西，如果我使用DL-QUERY来查询超类，那么Individual确实会出现在超类中......

这很奇怪。这是一个错误吗？

我正在使用Protégé5.2。

Answer 1

这是Protege 5.0b15中的一个错误。在Protege 4.3中，Shawn和John在运行推理器后都显示为类Human的成员。我提交了一个针对Protege 5.0的错误。