A formal semantics for weighted ontology mappings.