Modeling and Reasoning about Semantic Web Services Contract using Description Logic

摘要：

Currently, the natural expectation of contracting a set of Web services by virtue of their semantics is becoming more and more feasible and popular. Meanwhile, it is generally accepted that a formalism with a well-defined model-theoretic semantics (i.e. some sort of logics) should be considered as the underpinning of Semantic Web Services 1. In this paper, concrete domain and action theory are incorporated into a very expressive DL, called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. At the same time, the original nature and advantages of classical DLs, particularly the ability to describe static aspects of Web services, are also preserved to the extent possible.

作者: Hai Liu Qing Li Naijie Gu An Liu

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

会议类型: 国际会议

会议名称: The Ninth International Conference on Web-Age Information Management(第九届web时代信息管理国际会议)(WAIM 2008)

会议地点: 张家界

会议语种:英文

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