用描述逻辑进行语义Web服务组合 |
| |
引用本文: | 王杰生,李舟军,李梦君.用描述逻辑进行语义Web服务组合[J].软件学报,2008,19(4):967-980. |
| |
作者姓名: | 王杰生 李舟军 李梦君 |
| |
作者单位: | 1. 国防科学技术大学,计算机学院,湖南,长沙,410073 2. 北京航空航天大学,计算机学院,北京,100083 |
| |
基金项目: | Supported by the National Natural Science Foundation of China under Grant Nos.60473057, 60573057, 90604007, 60703075 (国家自然科学基金) |
| |
摘 要: | 针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs, preconditions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.
|
关 键 词: | 语义网 Web服务 描述逻辑 服务组合 自动推理 |
收稿时间: | 7/7/2006 12:00:00 AM |
修稿时间: | 2006年7月7日 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|