Ontologies for Industry 4.0