Question

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

-Person
--Man
--Woman

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

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

我正在使用猫头鹰2和Protégé5.0。

为什么人不包括男人和女人的情况？

Answer 1

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

如果一切都不起作用，请尝试另一个推理器（HermiT）。