owl:TopObjectProperty in property chains?

[1] shows how to rewrite the rule
hasParent(x, y) ^ hasBrother(y, z) -> hasUncle(x, z)
into the OWL 2 axiom:
ObjectProperty: hasUncle SubPropertyChain: hasParent o hasBrother

Is the universal property owl:TopObjectProperty allowed in a property chain?  In
other words, suppose you have the OWL 2 axiom:

ObjectProperty: childRelatedToBrother
   SubPropertyChain: hasParent o owl:TopObjectProperty o hasBrother

would that be the same as this rule:
hasParent(x, y) ^ hasBrother(w, z) -> childRelatedToBrother(x, z)

In other words, the parent of x does not need to be the same as the brother of z.

- Jeff

[1] Gasse, F., Sattler, U., & Haarslev, V. (2008). Rewriting Rules into
SROIQ Axioms. Proceedings of the 2008 International Workshop on
Description Logics (DL-2008).


P.S. Michael Schneider wrote me a detailed reply to an earlier question
which I'm still cogitating.