While the tutorial explains RELAX NG to humans, the formal semantics are mathematical. The formal semantics establish foundations for calculating validity using the structures defined by RELAX NG.
The tutorial includes comparisons to both RELAX and TREX to help developers making the transition.