Quelle est la différence entre "someValuesFrom" et "allValuesFrom"?

Question

En logique de description, quelle est la différence entre "someValuesFrom" et "allValuesFrom"? En d'autres termes, la différence entre (quantification existentielle limitée) et (restriction de valeur).

Par exemple, considérez ceci:

Δ = {a, b, c, d, e}
poste (B) = {< c, d>}
ext (R) = {< a, b>, < a, c>, < d, c>, < c, e>}

Alors, quelle est la différence entre ce qui suit?

ext (∃RB) = ?
ext (∀RB) = ?

Existe-t-il un moyen de simplifier le concept de somevaluefrom et allvaluesfrom?

Answer 1

D'abord, allValuesFrom et someValuesFrom ressemblent à OWL, et ils sont expliqués avec des exemples dans le specification. Dans le contexte de OWL (qui est un langage DL), ils représentent des restrictions sur les propriétés, en particulier sur la classe des valeurs de propriétés, c'est-à-dire, par exemple, dans le langage OWL. que vous voulez indiquer qu'un Car, qui a une propriété manufactured_by, cette propriété est réservée aux membres de la classe Manufacturer. Diffèrent en ce sens que le premier requiert toutes les valeurs des valeurs de propriété, cette dernière au moins une étant d'une certaine classe.