pyhornedowl.profile.UseOfIllegalAxiomKind
- class pyhornedowl.profile.UseOfIllegalAxiomKind
This whole axiom kind is not permitted in the profile, regardless of its content – e.g.
FunctionalObjectPropertyin EL.- Variables:
axiom (AnnotatedComponent) – The axiom the violation was found in.
reason (str) – Which profile rule the axiom kind falls foul of.
message (str) – A human readable description of the violation.