Towards Formal Comparison of Ontology Linking, Mapping and Importing