Formal Ontologies Meet Industries: Short Report