OWL properties can also be arranged in a taxonomic hierarchy using the primitive rdfs:SubPropertyOf. They can be assigned characteristics which constrain the interpretation of the properties and permit inference:
They can be related to classes via property restrictions _which permit expressive descriptions of relationships of a class to other classes (including the owl:Thing class) and can be used to impose cardinality constraints on a class. Here we see that the object property _hasCar _has domain _Train and range Car, shown in Protege and Turtle.