A Rule-Based Approach Founded on Description Logics for Industry 4.0 Smart Factories

This paper develops a formal framework, founded on description logics, to assist decision making in relation to the manufacturing operation and control in modern enterprises that stand to benefit from the transition to Industry 4.0. The objective is to provide sophisticated support to individuals making decisions in the area of production operations management and in particular, production scheduling and material requirements planning. Using this framework, this paper demonstrates an approach to encode the domain knowledge of human experts managing the production as sets of formal rules. These rules can be implemented in an intelligent system that can assist and empower human experts, reducing difficulty when making decisions in complex manufacturing environments.