“someValuesFrom”和“allValuesFrom”之间有什么区别？

Question

在描述逻辑中，“someValuesFrom”和“allValuesFrom”之间有什么区别？ 换句话说，（有限的存在量化）和（价值限制）之间的差异。

例如，考虑一下：

Δ= {a，b，c，d，e}
   ext（B）= {＆lt; c，d＆gt;}
   ext（R）= {＆lt; a，b＆gt;，＆lt; a，c＆gt;，＆lt; d，c＆gt;，＆lt; c，e＆gt;}

那么以下是什么区别？

ext（∃R.B）= ？
   ext（∀R.B）= ？

有没有办法简化somevalue from和allvalues from的概念？

Answer 1

首先，allValuesFrom和someValuesFrom听起来像是OWL，并且specification中的示例对它们进行了解释。

在OWL（它是一种DL语言）的上下文中，它们表示对属性的限制，特别是对属性值的类，例如，如果要声明Car具有manufactured_by属性，则此属性仅限于类Manufacturer的成员。

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