“ 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语言）的上下文中，它们表示对属性的限制，尤其是对属性值的类的限制，这意味着，例如，您要声明具有manufactured_by属性的Car将此属性限制为成员类Manufacturer 。

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