Mapping Properties of Heterogeneous Ontologies