pyhornedowl.profile.UseOfNonSimplePropertyInCardinalityRestriction

class pyhornedowl.profile.UseOfNonSimplePropertyInCardinalityRestriction

An object-cardinality restriction is given a composite (non-simple) object property.

Variables:

• axiom (AnnotatedComponent) – The axiom the violation was found in.

• ope (ObjectPropertyExpression) – The composite (non-simple) object property expression.

• message (str) – A human readable description of the violation.