ControlSem – distributed decision support system based on semantic web technologies for the analysis of the medical procedures | IEEE Conference Publication | IEEE Xplore