Contains constraint checking axioms for a subset of OWL.
Maximum cardinality of {?max} expected for {?property}
Minimum cardinality of {?min} expected for {?property}
Instances of {?type} must have {?hasValue} for {?property}
Checks for any owl:minCardinality restrictions defined in one of the superclasses of the types of ?this and applies them using closed-world semantics.
the system property (owl:minCardinality or owl:cardinality)
MinCardinality constraint (using {?arg1})
All values from {?property} must be {?range} violated by {?value}
Checks for any owl:maxCardinality/owl:cardinality restrictions defined in one of the superclasses of the types of ?this and applies them using closed-world semantics.
the system property (owl:maxCardinality or owl:cardinality)
MaxCardinality constraint (using {?arg1})
Checks for any owl:allValuesFrom restrictions and makes sure that all values of that property (or its sub-properties) at ?this have matching range.
Instances of {?type} must have at least one value of type {?someValuesFrom} for {?property}
Verifies that the values specified by owl:hasValue are present.
Checks whether the value types mentioned in owl:someValuesFrom restrictions are present.