Proceedings of the first International Workshop on Formal Ontologies Meet Industry