Data Property Axioms

Data properties link individuals to data values.

A set of instances connected to the property is called a property extension.

SubDataPropertyOf axioms count

This axiom says that a property is a subproperty of another property. It also means that the instances of the subproperty are subsets to the property extension of the second property.

Equivalent data properties axioms count

Equivalent property axioms exist when two properties have the same property extension.

Functional data property axioms count

A functional property is a property which can only have one value. E.g. a woman can have at most one husband.

Sources

1. https://www.w3.org/TR/owl-ref/#Property