semantic-web - Protégé でスーパークラスにサブクラスのインスタンスが含まれていない理由

Question

Protégé を使用して、OWL で指定された非常に単純なクラス階層があります。例えば：

-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) を試してください。