doi dblp A logical framework for modeling and reasoning about semantic web services contract Hai Liu | Qing Li | Naijie Gu | An Liu Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008