В чем разница между "someValuesFrom" и "allValuesFrom"?

Question

В логике описания, в чем разница между "someValuesFrom" и "allValuesFrom"? Другими словами, разница между (ограниченная экзистенциальная квантификация) и (ценностное ограничение).

Например, рассмотрим это:

∆ = {a, b, c, d, e}
ext (B) = {}
ext (R) = {, , , }

Так в чем же разница между следующим?

ext (∃R. B) = ?
ext (∀R. B) = ?

Есть ли способ упростить понятие некоторого значения из всех значений?

Answer 1

Во-первых, allValuesFrom и someValuesFrom звучат как OWL, и они объясняются примерами в спецификации .

В контексте OWL (который является языком DL) они отражают ограничения на свойства, особенно на класс значений свойств, то есть, например, что вы хотите заявить, что Car, обладающее свойством manufactured_by, это свойство доступно только для членов класса Manufacturer.

allValuesFrom и someValuesFrom отличаются в том смысле, что для первого требуются все значения значений свойства, а для последнего хотя бы одно должно быть определенного класса.