Hai Liu Qing Li Naijie Gu An Liu Modeling and Reasoning about Semantic Web Services Contract Using Description Logic. 179-186 2008 WAIM http://dx.doi.org/10.1109/WAIM.2008.57 conf/waim/2008 db/conf/waim/waim2008.html#LiuLGL08