universal restrictions - permalink

All > Technology > Knowledge Management > Semantic Web
  • 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

URI (Universal Resource Identifier) - permalink

All > Technology > Knowledge Management > Semantic Web

URL (Uniform Resource Locator) - permalink

All > Technology > Knowledge Management > Semantic WebAlso listed in