Semantic Technologies for Industry: from Knowledge Modeling and Integration to Intelligent Applications