SIM, a Semantic Instrumentation and Monitoring Solution for Large Scale Reasoning Systems | IEEE Conference Publication | IEEE Xplore