universal restrictions - permalink
Universal restrictions are given the symbol ∀. They constrain the relationships along a given property to individuals that are members of a specific class. For example the universal restriction ∀ hasTopping MozzarellaTopping describes the individuals all of whose hasTopping relationships are to members of the class MozzarellaTopping - the individuals do not have a hasTopping relationships to individuals that aren't members of the class MozzarellaTopping.
Universal restrictions are also know as All Restrictions.
For a given property, universal restrictions do not specify the existence of a relationship. They merely state that if a relationship exists for the property then it must be to individuals that are members of a specific class.
Cody Burleson - Cite This Source - This Definition- Browse Related Terms: ABox, anonymous class, defined class, Ontology, restriction, T