A Logical Framework for Modeling and Reasoning about Semantic Web Services Contract

摘要：

In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. Meanwhile, the original nature and advantages of classical DLs are also preserved to the extent possible.

关键词： Semantic Web Services DLs Services Contract

作者: Hai Liu Qing Li Naijie Gu An Liu

作者单位: Department of Computer Science and Technology, University of Science and Technology of China, Hefei, Joint Research Lab of Excellence, CityU-USTC Advanced Research Institute, Suzhou, China;Department o Department of Computer Science and Technology,University of Science and Technology of China, Hefei,

会议类型: 国际会议

会议名称: 第十七届国际万维网大会(the 17th International World Wide Web Conference)(WWW08)

会议地点: 北京

会议语种:英文

在线出版日期: 2008-04-21（万方平台首次上网日期，不代表论文的发表时间）