These express semantic relationships between two or more elements of ontologies. A mapping can refer to conditional statements that have to hold for the semantic relationship to hold. Such mappings are represented in abstract form and they don't have any formal semantics associated with them.