1

サブクラスの個人/メンバーがスーパークラスのメンバーとして表示されない理由を明確にしたいだけですか?

例えば

Human
   Male
   Female

男性に「ジョン」と「ショーン」という 2 人のメンバー/個人がいる場合、それらもスーパークラスに表示されるべきではありませんか?

私の理解では、「ジョン」と「ショーン」は男性であり、したがって人間です。

または、それを実現するために何かを明示的に述べる必要がありますか

編集:

さて、何かをテストしたところですが、DL-QUERY を使用してスーパークラスを照会すると、実際に個人がスーパークラスに表示されます…</p>

これは奇妙です。これはバグですか?

Protégé 5.2 を使用しています。

4

1 に答える 1

1

これは Protege 5.0b15 のバグです。Protege 4.3 では、Shawn と John の両方が Reasoner を実行した後にクラス Human のメンバーとして表示されます。Protege 5.0 に対してバグを報告しました。

于 2015-01-14T23:13:48.250 に答える