wrap axioms for hashCode & equals methods
modify toString & equals methods from Object class
wrap OWLAxioms for hashCode