pyhornedowl.profile.UseOfIllegalAxiomKind

class pyhornedowl.profile.UseOfIllegalAxiomKind

This whole axiom kind is not permitted in the profile, regardless of its content – e.g. FunctionalObjectProperty in 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.