protege中property的特性

Functional Properties :If a property is functional, for a given individual, there can be at most one individual that is related to the individual via the property.

Inverse Functional Properties :If a property is inverse functional then it means that the inverse property is functional. For a given individual, there can be at most one individual related to that individual via the property.

example: isBirthMotherOf is the inverse property of hasBirthMother. since hasBirthMother is functional, isBirthMotherOf is inverse functional.

Transitive Properties: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. example hasAncestor.

note:If a property is transitive then its inverse property should also be transitive .

            if a property is transitive then it cannot be functional

Symmetric Properties : If a property P is symmetric, and the property relates individual a to individual b then individual b is also related to individual a via property P.

Asymmetric properties :If a property P is asymmetric, and the property relates individual a to individual b then individual b cannot be related to individual a via property P.

Reflexive properties :A property P is said to be reflexive when the property must relate individual a to itself.

Irreflexive properties :If a property P is irreflexive, it can be described as a property that relates an individual a to individualb,where individual a and individualb are not the same.