記述ロジックで、「someValuesFrom」と「allValuesFrom」の違いは何ですか? つまり、（制限された存在量化）と（価値制限）の違いです。
たとえば、次のように考えてください。
Δ = {a, b, c, d, e}
ext(B) = {<c,d>}
ext(R) = {<a,b>, <a,c>, <d,c>, < c、e>}
それでは、次の違いは何ですか？
ext(∃R.B) = ?
ext(∀R.B) = ?
somevaluefrom と allvaluesfrom の概念を単純化する方法はありますか?
まず、 OWLのようallValuesFromに聞こえますが、仕様someValuesFromの例で説明されています。
OWL（DL言語）のコンテキストでは、プロパティ、特にプロパティ値のクラスに対する制限を表します。たとえば、プロパティCarを持つmanufactured_by、このプロパティは、のメンバーに制限されていることを示します。クラスManufacturer。
allValuesFromsomeValuesFrom前者はプロパティ値のすべての値を必要とし、後者は少なくとも1つは特定のクラスである必要があるという意味で異なります。