Formal Ontologies Meet Industry uri icon