Ernesto Jiménez-Ruiz Bernardo Cuenca Grau Ian Horrocks Rafael Berlanga Llavori Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. 173-187 2009 ESWC http://dx.doi.org/10.1007/978-3-642-02121-3_16 conf/esws/2009 db/conf/esws/eswc2009.html#Jimenez-RuizGHL09