同じオブジェクトのプロパティが

Question

たちはクラスAとBを持っているとC.

たちは、クラスのプロパティを持つことができますどのように我々は2つのオブジェクトのプロパティ「HASC」と「hasB」を持っている

を想像してみて想像して値を持つクラスを作成します。制限ので、Aは（HASC分1 C "を有する"）

hasB分1 B

HASC分1つのCのサブクラスが

と言うさ

hasC.Cの値はBのインスタンスのインスタンスで同じである場合hasC.Cの値はBのインスタンスと、このクラスA.

Answer 1

のインスタンスで同じです

この種の公理は、通常OWLでは使用できません。あなたは心の中でCの特定のインスタンスを持っている場合IgnazioはC73、例えば、コメントで述べたように、あなたは、HASCいくつかの{C73}または式HASC値C73のように、列挙型クラスを使用することができますこのような一般的な "合意"の公理はできません。たとえば、いくつかの共通の祖先を持つ2つの異なる祖先を持つものとして「ダイヤモンド階層サブクラス」を定義する方法はありません。