Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences - Ruiz, E; Grau, B; Horrocks, I; Berlanga, R (Springer, 2009)