Ontology-based platform for sharing knowledge on Industry 4.0