Safe and Economic re−use of ontologies: a logic−based methodology and tool support - Jimenez−Ruiz, E; Cuenca Grau, B; Schneider, T; Sattler, U; Berlanga, R (Springer LNCS, 2008)