Added transitivity to P5, P9 and P46. Deleted number cardinality on P5i and P9i because ecrm would not be owl-dl anymore if the properties are transitive.