Rdf 本体设计：子类中的个体不显示在超类中？

我只是想澄清为什么子类中的个人/成员不会在超类中显示为成员

比如说

Human
   Male
   Female

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

据我所知，“约翰”和“肖恩”是男性，因此也是人类

或者我应该明确地陈述一些事情来实现这一点吗

编辑：

好的，我刚刚测试了一些东西，如果我使用DL-QUERY来查询超类，那么这个个体实际上会出现在超类中

这很奇怪。这是虫子吗

---

我正在使用Protégé5.2。

这是Protege 5.0b15中的一个bug。在Protege 4.3中，Shawn和John在运行reasoner后都显示为类人类成员。我对Protege 5.0提交了一个bug。

我认为Protege版本是一个打字错误。版本5尚未发布。是4.2版吗？在新的下载页面上说是5.0版，但它是测试版。。。是吗？？我认为最近发布的测试版是5.0 beta 15（Protege经历了很长的测试期…），那么是测试版导致了这个问题还是预期的行为？你能发布一个屏幕截图来说明你的意思吗？我记得，Protege4.x中的默认视图只显示显式断言的内容，直到运行推理程序，然后才能显示推论。x，Y的一个成员，是Y的超类的一个成员，这是一个推理者需要的东西。是的，在另一台机器上运行后也发现了这一点