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

Question

我只想澄清为什么子类中的个人/成员不作为超类中的成员出现？

例如

Human
   Male
   Female

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

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

或者我应该明确地声明一些事情来实现这一点。

编辑：

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

这太奇怪了。这是虫子吗？

我用的是Protégé5.2

Answer 1

这是抗议者5.0b15中的一个错误。在第4.3条中，肖恩和约翰在运行推理者之后都表现为人类阶级的成员。我对Proge5.0提出了一个错误。