A Formal Semantics for Weighted Ontology Mappings