個人 A、B、C、D、E と 2 つのプロパティ P1、P2 があります。
A P1 B
C P1 D
E P2 C
A のみをキャプチャし、C をキャプチャしないクラスを構築したいので、次のようにクラスを設定します。
- myClass EquivalentTo: (P1 some owl:Thing) and (P1 only owl:Thing)
- myClass EquivalentTo: (P1 some owl:Thing) and (逆ではない P2 some owl:Thing)
しかし、それらの試みはすべて失敗しました。A個体とC個体を区別するにはどうすればよいでしょうか?