Proceedings of Formal Ontologies Meet Industry