0

TBoxのみ（個体なし）を考慮したOWL-DLオントロジーを考えてみましょう

Chinesefamily hasChilren max 1
SterileChinesefamily subClassOf Chinesefamily
SterileChinesefamily hasChilren exactly 0

表現

hasChilren max 1

サブクラスとして返さChinesefamilyれますSterileChinesefamily

Chinesefamilyさて、0 個または 1 個の子を持つ可能性がある ( ) が、厳密に 0 個の子を持つべきではない( SterileChinesefamily)クラスを指定する方法

私は試した

hasChilren max 1 and not hasChilren exactly 0

それは何も返しません！

============= 更新 =============

ご注意ください

hasChilren exactly 1

私が意図したものではありません。代わりに、私が意味するのは、次のサブクラスであるクラスです。

  1. 個人が 1 人または 0 人の子を持つことを許可されているクラス ( Chinesefamily)。
  2. AND
  3. NOT個々のクラスが正確に 0 の子を持たなければならないクラス ( SterileChinesefamily)。

(実際には、私は TBox のみを考慮します (個人は考慮しません)。ただし、この更新は明確にするためのものです)。

4

2 に答える 2

1

さて、0 または 1 人の子を持つクラス (Chinesefamily) を指定する方法ですが、正確に 0 人の子を持つことはできません (SterileChinesefamily)

hasChildren 正確に 0がhasChildren max 1のサブクラスであることは正しいです 。お子様が 1 人だけの家族についてお尋ねの場合は、単純に次のタイプの個人についてお尋ねください。

        hasChildren ちょうど 1

私が意味するのは、次のサブクラスであるクラスです。

  • 個人が 1 人または 0 人の子供を持つことを許可されているクラス (Chinesefamily) AND
  • NOTそれらの個人が正確に 0 の子を持たなければならないクラス (SterileChinesefamily)。

hasChildren max 1のようなクラス式は、パーミッション、または値を持つことが「許可」されていることとは何の関係もありません。hasChildrenプロパティの値が 0 または 1 の個体のクラスです。あなたが求めているのは、両方のサブクラスであるクラスです:

  • hasChildren 最大 1
  • hasChildrenの補数max 0

hasChildren max 0の補数は、少なくとも 1 人の子供を持つ個体のクラスです。つまり、hasChildren min 1クラスです。したがって、両方のサブクラスであるクラスを求めています。

  • hasChildren 最大 1
  • hasChildren 分 1

つまり、のサブクラスを求めているということです

  • (hasChildren 最大 1) および (hasChildren 最小 1)

さて、その交点は

  • hasChildren ちょうど 1

意味あり。0 個または 1 個の子を持つことができるが、0 個の子を持たないものは、1 個の子を持つものです。

于 2015-04-07T17:55:26.877 に答える
1

質問の冒頭で使用する構文は非標準です。

Chinesefamily hasChilren max 1

マンチェスター構文のように見えますhasChildren max 1が、その構文のクラス式ですが、前に名前を付けると、マンチェスターではなくなります。以下のことから、あなたの意図は次のことを意味しているようです。

Class: Chinesefamily
    EquivalentClass: hasChildren max 1

（ちなみに、中国のすべての家庭に子供が0人か1人しかいないと言うのは奇妙です。それよりも多くの子供を持つ中国人家庭があることはよく知られています...ただ言っているだけです）

ちょうど 1 人の子供を持つ家族は、次のように定義できます。

Class: FamilyWithOneChildren
   SubClassOf: hasChildren exactly 1

簡単。

于 2015-04-07T17:56:37.773 に答える