Research on a knowledge modelling methodology for fault diagnosis of machine tools based on formal semantics. Issue 2 (April 2017)