ahm*_*med 2 math logic owl description-logic
在描述逻辑中,"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和allvalues的概念？