基于动态描述逻辑的语义Web服务匹配研究.pdf

计算机研究与发展 ISSN 10002 1239PCN 112 1777PTP Journal of Computer Research and Development 5( 12) : 2 1022 2 109, 2008 Web 1, 2, 3 1, 3 1, 3 1 彭 晖 陈立民 常 亮 史忠植 1 ( 中国科学院计算技术研究所 能信息处理重点实验室 北京 100190) 2 ( 湖南科技大学计算机科学与工程学院 湖南湘潭 11201) 3 ( 中国科学院研究生院 北京 1000 9) ( pengh@ics. ict. ac. cn) Semantic Web Service Matching Based on Dynamic Description Logic 1, 2, 3 1, 3 1, 3 1 Peng Hui , Chen Limin , Chang Liang and Shi Zhongzhi 1 ( Key Labor ator y of Intelligent I nf ormation P r ocessing , In stitute of Comp uting T echnology , ChineseAca demy of Sciences, Beij ing 100190 2 ( School of Computer Science and Engineer ing , H unan Univer sity of Science and T echnology , Xiangtan, H unan 11201 3 ( Gr ad uate University of Chinese Aca demy of Sciences, Beij ing 1000 9 Abstract Dynamic description logic ( DDL) is an extension of description logic ( DL) with a dynamic dimension. In addition to the reasoning mechanism on static knowledge about application domains, DDL also provides a mechanism for representing and reasoning about actions by embracing knowledge of actions into DL. Therefor e, DDL is a promising candidate for logic foundations of semantic Web service when every Web service is regarded as an action on Web. Due to such merits provided by DDL, the authors pr esent a DDL2based approach for the description and matching of semantic Web services: Both the goal service of a service consumer and the atomic services from service provider ar e described in terms of actions of DDL. Then the matchmaker matches the goal service with supplied services by reasoning on actions. The m