8 //Direct Mapping DM ΔO1ΔO2  match (ΔO 1, ΔO 2 ) EM O1,O2 (b,b) (a,a) (c,c) (d,d) EM O1,O2  merge ({CM O1,O2, DM ΔO1ΔO2 }, 1) return EM O1,O2 Input: Two ontologies O 1 and O 2, composed mapping CM O1,O2 Output: Extended Mapping EM O1,O2 (2) E XTEND M ATCH O1O1 O2O2 a bc de a bc d f ΔO 1  extract (O 1, CM O1,O2 ) ΔO 2  extract (O 2, inverse (CM O1,O2 )) CM O1,O2 (b,b) (a,a) (c,c) DM O1,O2 (d,d)
{}