Formal ontology meets industry