本体设计：子类中的个体没有出现在超类中？答案

【问题标题】：Ontology design: Individual in Subclass not showing in Super Class?本体设计：子类中的个体没有出现在超类中？
【发布时间】：2014-12-20 22:27:41
【问题描述】：

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

例如

Human
   Male
   Female

如果 Male 有两个成员/个人，即“John”和“Shawn”，他们不应该也出现在超类中吗？

据我了解，“John”和“Shawn”是男性，因此是人类

或者我是否必须明确说明一些事情才能做到这一点

编辑：

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

这很奇怪。这是bug吗？

我正在使用 Protégé 5.2。

【问题讨论】：

我认为 Protege 版本是一个错字。第 5 版尚未发布。是 4.2 吗？
在新的下载页面上说是 5.0，虽然它是 beta 版……是这样吗？？ protege.stanford.edu/products.php#desktop-protege
我认为最近发布的测试版是 5.0 beta 15（Protege 经历了很长的测试期...）
那么是导致这个问题的测试版还是这个预期的行为
你能发一个截图来说明你的意思吗？我记得，Protege 4.x 中的默认视图仅显示在推理器运行之前明确断言的内容，并且可以显示 then 推理。 Y 的成员 x 是 Y 的超类的成员，这需要推理器。

【解决方案1】：

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

【讨论】：