私はProtegeと混乱しています。私が行っていないどこかで構成する必要がある設定かもしれません。
object プロパティがあるとしますhasFriend。このオブジェクト プロパティのドメインと範囲は両方ともPersonです。とPersonの 2 つのサブクラスが追加されました。ManWoman
問題は、推論ツールである HermiT (Protege の既定の推論プログラム) を起動したときに、 のサブクラスであるため、ドメインと範囲として と がMan追加されることを期待していました。WomanhasFriendPerson
これらの推論が表示されない特定の理由はありますか?