“ 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在意義上有所不同，第一個要求屬性值的所有值，后者至少一個要屬於某個類。