SIM, a Semantic Instrumentation and Monitoring solution for large scale reasoning systems. - Ioan Toma; Mihai Chezan; Raluca Brehar; Sergiu Nedevschi; Dieter Fensel (ICCP, 2011)