用描述逻辑进行语义Web服务组合

• 作者: 李梦君 李舟军 王杰生
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 语义网 Web服务 描述逻辑 服务组合 自动推理
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 967-980
• 页数: 14页
• 分类号: TP393
• 字数: 12325字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.00967

摘要

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs, preconditions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	李梦君	国防科学技术大学计算机学院	16	294	7.0	16.0
3	王杰生	国防科学技术大学计算机学院	1	84	1.0	1.0