In description logic, what is the difference between "someValuesFrom" and "allValuesFrom"? In other words, the difference between (limited existential quantification) and (value restriction).
For example, consider this:
∆ = {a, b, c, d, e}
ext(B) = {<c,d>}
ext(R) = {<a,b>, <a,c>, <d,c>, <c,e>}
So what is the difference between the following?
ext(∃R. B) = ?
ext(∀R. B) = ?
Is there any way to simplify the concept of somevaluefrom and allvaluesfrom?