本体设计：子类中的个人未在超类中显示？

Question

I just want to clarify as to why an Individual/Member in a subclass doesnt show up as a member in the superclass?

For example

Human
   Male
   Female

If Male has two members/individuals, namely "John" and "Shawn", shouldn't they show up in the superclass too?

From my understanding, "John" and "Shawn", are male and hence Human

Or should I have to explicitly state something to make that happen

Edit:

Okay, so i just tested something, if I use DL-QUERY to query the superclass, the Individual does in fact show up for the superclass …

This is weird. Is this is a bug?

I'm using Protégé 5.2.

Answer 1

This is a bug in the Protege 5.0b15. In Protege 4.3 both Shawn and John are showing as Members of class Human after running the reasoner. I filed a bug against Protege 5.0.