universal restrictions

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.