Defining an object property as transitive and asymmetric is not permitted in OWL DL since it can lead to undecidability. Hence HermiT throws a non-simple property exception in this scenario, but when having a property transivity characteristic defined using a SWRL rule, the reasoner does not complain, and seems to infer results correctly and still be able to detect inconsistencies.
What is the reason for this, isn't having transitivity defined using SWRL still leads to undecidability ?