Automated Reasoning and Knowledge Inference on OPC UA Information Models | IEEE Conference Publication | IEEE Xplore