2

次のクラスがあります。クラス B、C、D は A のサブクラスです。

A ----+----------> B
      |
      +----------> C
      |
      +----------> D

その上、オブジェクト プロパティhasObjectPropertyと、X、Y、Z の他のいくつかのクラス があります。X、Y、Z は互いに素なクラスです。

次に、クラス B、C、および D に次のように制限を設定します (ここでは、Protege でも使用されているマンチェスター OWL 構文を使用しますhttp://www.co-ode.org/resources/reference/manchester_syntax/ )

B: (hasObjectProperty only X) and (hasObjectProperty some X)
C: (hasObjectProperty only Y) and (hasObjectProperty some Y)
D: (hasObjectProperty only Z) and (hasObjectProperty some Z)

ここでの問題は、クラス B と C のみの結合であるクラス E をどのように説明できるかということです。クラス B とクラス C (ただしクラス D ではない) の両方になることができるクラスをどのように説明できますか?

A ----+----------> B ------> E
      |
      +----------> C ------> E
      |
      +----------> D

可能ですか？

クラス E の制限をこのように定義しようとしました。しかし、Reasoner はそれを無効と判断します。

E: ((hasObjectProperty only X) and (hasObjectProperty some X)) or ((hasObjectProperty only Y) and (hasObjectProperty some Y))

どうもありがとう！

4

1 に答える 1

3

がとEの和集合になるように制限するには、次のように指定できます。BC

E≡ (BまたはC)

つまり、 と の結合に属するものはすべて にあり、その逆も同様です (包摂関係を双方向でエンコードします)。BCE

これは必然的Eに両方のスーパークラスを作成し、両方BがC含まれているため、代わりに次のようになることに注意してください。

A --+---> E --+---> B
    |         | 
    +---> D   +---> C
于 2010-09-10T06:57:15.427 に答える