我对 Protege 感到困惑。可能这是我应该在我不做的地方配置的设置。
假设我有一个对象属性hasFriend。此对象属性的域和范围都是Person. 现在Person有两个子类：Man和Woman.
问题是当我启动推理器 HermiT（Protege 中的默认推理器）时，我希望看到它添加Man和Woman作为域和范围，hasFriend因为它们是Person.
有什么特别的原因我没有看到这些推论吗？
user2202810
问问题
139 次