1

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

例如

Human
   Male
   Female

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

据我了解,“约翰”和“肖恩”是男性,因此是人类

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

编辑:

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

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

我正在使用 Protégé 5.2。

4

1 回答 1

1

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

于 2015-01-14T23:13:48.250 回答