Serialization code and test cases for class axioms
Added serialization support for individual axioms and test cases