为什么超类不包括 Protégé 中的子类实例

Question

我有一个非常简单的类层次结构，在 OWL 中指定，带有 Protégé。例如：

-Person
--Man
--Woman

也就是说，每个男人都是一个人，每个女人都是一个人。

当我包含 Man 和 Woman 的实例时，我希望这些实例也将作为 Person 的实例包含在内。但由此产生的分类并不像预期的那样。即使我运行推理器。

我正在使用 owl 2 和 Protégé 5.0。

为什么 Person 不包括 Man 和 Woman 的实例？

Answer 1

如果添加 Joel rdf:type Man，Joel 将是一个人。使用 DL 查询选项卡仔细检查您的观察结果，获取所有 Person 实例（即 Person 是查询，确保选中右侧的必要复选框），或向您的实例选项卡添加一个称为推断成员列表的视图。

如果所有这些都不起作用，请尝试另一个推理器 (HermiT)。