"someValuesFrom"と "allValuesFrom"の違いは何ですか？

Question

説明ロジックでは、「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という概念を簡略化する方法はありますか？

Answer 1

まず、allValuesFromおよびsomeValuesFromはOWLのように聞こえ、specificationの例で説明されています。

OWL（DL言語）のコンテキストでは、プロパティ、特にプロパティ値のクラスに制限があります。 manufactured_byのプロパティを持つCarと記述したい場合、このプロパティはクラスManufacturerのメンバーに限定されています。

allValuesFromおよびsomeValuesFromは、最初にすべての値のプロパティ値が必要であり、後者の少なくとも1つは特定のクラスである必要があります。