發送短信: Safe and Economic re−use of ontologies: a logic−based methodology and tool support