SMS versenden: Formal ontologies meet industry