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 (ICPS, 2019)