FOMI Formal Ontologies Meet Industry