Serialization of OWL Axioms: Consistent Ordering

Something that we ran out of time discussing at the October 2017 meeting was the desirability of consistent order when writing out individual axioms within the OWL Refset.   Not because there was any semantic significance, but just for consistency so that - should a change be detected - we could be sure that it was significant.

Could we draw from existing recommendations for normalization of expressions? Alphabetic order both within and between groups?