Properties have a direction, from domain to range. The owl:inverseOf construct can be used to define an inverse relation between properties.
EXAMPLE: In practice, people often find it useful to define relations in both directions: persons own cars, cars are owned by persons.
P1 owl:inverseOf P2
asserts that for every pair (x,y) in the property extension of P1, there is a pair (y,x) in the property extension of P2, and vice versa. Thus, owl:inverseOf is a symmetric property.