Contains constraint checking axioms for a subset of OWL, using closed-world semantics. 0.1.1 cardinality min class max found min cardinality max cardinality Maximum cardinality of {?max} expected for {?property} label property someValuesFrom property restriction 0 -2 type label property Minimum cardinality of {?min} expected for {?property} class 0 -2 type class 0 -2 type the system property (owl:maxCardinality or owl:cardinality) MaxCardinality constraint (using {?arg1}) Max cardinality constraint 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. value label range All values from {?property} must be {?range} violated by {?value} Instances of {?type} must have at least one value of type {?someValuesFrom} for {?property} p 0 -2 0 -2 the system property (owl:minCardinality or owl:cardinality) Instances of {?type} must have {?hasValue} for {?property} hasValue 0 -2 Checks whether the value types mentioned in owl:someValuesFrom restrictions are present. Some values from constraint SomeValuesFrom constraint MinCardinality constraint (using {?arg1}) Min cardinality constraint Checks for any owl:minCardinality restrictions defined in one of the superclasses of the types of ?this and applies them using closed-world semantics. AllValuesFrom constraint Checks for any owl:allValuesFrom restrictions and makes sure that all values of that property (or its sub-properties) at ?this have matching range. All values from constraint HasValue constraint Verifies that the values specified by owl:hasValue are present. Has value constraint