Limin Chen Hong Hu Zhongzhi Shi Reasoning about Web Services with Local Closed World Assumption. 367-370 2009 Web Intelligence http://dx.doi.org/10.1109/WI-IAT.2009.64 conf/webi/2009 db/conf/webi/webi2009.html#ChenHS09