Stav dette: Formal ontologies meet industry