Models for semantic inter-operability in service-oriented architectures - Vetere, G; Lenzerini, M (IBM Syst J, 2005)