Zaslat SMS: Formal ontologies meet industry