Describir: Formal ontologies meet industry