- Formally:
owl:Restrictiondefines a blank node with restrictions- refer to the property that is constrained
- define the restriction itself
- one can, e.g., subclass from this node, or…
- …use intersection of several property constraints, or…
- …declare the class to be equal to it