adding owl:equivalentProperty axiom, error fixed