SMS dit: Formal ontologies meet industry