The RuleOwlTransitiveProperty2 Rule, which asserts
(a rdf:type owl:TransitiveProperty), (b rdfs:subPropertyOf a) -> (b rdf:type owl:TransitiveProperty) is not part of OWL entailment and is entailing wrong conclusions.
:hasParent rdfs:subPropertyOf :hasAncestor
:hasAncestor rdf:type owl:TransitiveProperty
does not imply that :hasParent is transitive.
Another example would be with SKOS
skos:broader rdfs:subPropertyOf skos:broaderTransitive
skos:broaderTransitive rdfs:type :owl:TransitiveProperty
does not entail that broader is transitive.
The rule needs to be removed from the OWL-Axioms to get the reasoner coming with the right conclusions.