Automated Reasoning and Knowledge Inference on OPC UA Information Models - Jupiter Bakakeu; Matthias Brossog; Jochen Zeitler; Jörg Franke; Schirin Tolksdorf; Hans-Henning Klos; Jörn Peschke (IEEE International Conference on Industrial Cyber Physical Systems, ICPS 2019, Taipei, Taiwan, May 6-9, 2019, 2019)