"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) = _?_

是否有任何方法来简化从和从价值中得到的评价的概念？

Answer 1

首先，allValuesFrom和someValuesFrom听起来像OWL，它们用规格说明中的例子来解释。

在OWL (一种DL语言)的上下文中，它们重新表示对属性的限制，特别是对属性值类的限制，这意味着您希望声明具有Car属性的manufactured_by属性，该属性仅限于类Manufacturer的成员。

allValuesFrom和someValuesFrom的区别在于，首先需要属性值的所有值，而后者至少需要一个特定类的值。