Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support