Invia SMS: Formal ontologies meet industry