What is the difference between "someValuesFrom" and "allValuesFrom"?
- by ahmed
In descriptive 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 picture:
I have used the photoshop because I can't write some symbols.
Is there any way to simplify the concept of somevaluefrom and allvaluesfrom?