避免将类的子类推论为域

Question

我对Protege感到困惑。也许这是我应该在不做的地方配置的设置。

假设我有一个对象属性hasFriend。此对象属性的域和范围均为Person。现在Person有两个子类：Man和Woman。

问题是，当我启动推理机HermiT（Protege中的默认推理机）时，我希望看到它添加了Man和Woman作为hasFriend的域和范围，因为它们是Person的子类。

我为什么看不到这些推论？