A logical framework for modeling and reasoning about semantic web services contract.

@inproceedings{liu-2008-logical, author = {Hai Liu and Qing Li and Naijie Gu and An Liu}, editor = {Jinpeng Huai and Robin Chen and Hsiao-Wuen Hon and Yunhao Liu and Wei-Ying Ma and Andrew Tomkins and Xiaodong Zhang}, title = {{A logical framework for modeling and reasoning about semantic web services contract}}, booktitle = {{Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008}}, pages = {1057--1058}, publisher = {ACM}, year = {2008}, url = {https://doi.org/10.1145/1367497.1367654}, doi = {https://doi.org/10.1145/1367497.1367654} }