adding owl:SymmetricProperty axiom