Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming | IEEE Conference Publication | IEEE Xplore