Αποστολή με SMS: Formal Ontologies Meet Industry