transitive property

If a property is transitive, and the property relates individual a to individual b, and also individual b to individual c, then we can infer that individual a is related to individual c via property P. Take, for example, a transitive property hasAncestor. If the individual Matthew has an ancestor that is Peter, and Peter has an ancestor that is William, then we can infer that Matthew has an ancestor that is William.

Note that if a property is transitive then its inverse property should also be transitive. In some editors, this must be specified manually. However, the reasoner should assume that if a property is transitive, its inverse property is also a transitive.

Note also that if a property is transitive then it cannot be functional.