math - “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，它们在规范中通过示例进行了解释。

在 OWL（这是一种 DL 语言）的上下文中，它们表示对属性的限制，尤其是对属性值的类的限制，这意味着例如，您要声明Car具有manufactured_by属性的 a ，该属性仅限于类Manufacturer。

allValuesFrom并且someValuesFrom在某种意义上有所不同，前者要求属性值的所有值，后者至少需要一个属于某个类别。