Serialization support for object, data and annotation property axioms, plus test cases