基于动态描述逻辑的语义Web服务推理

• 作者: 史忠植 常亮
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 语义Web服务 OWL-S 动态描述逻辑 Web服务推理 服务发现和组合
• 年，卷（期）: 2008,（9）
• 页码范围: 1599-1611
• 页数: 13页
• 分类号: TP18
• 字数: 15889字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2008.09.013

摘要

语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题,基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来.动态描述逻辑是描述逻辑的一种动态扩展,支持面向语义Web的对动作的描述和推理.文中利用动态描述逻辑DDL(SHOIN(D))的描述和推理功能,提出对语义Web服务进行建模和推理的一种有效途径.从OWL-S中的ProcessModel出发,将语义Web服务建模为基于DDL(SHOIN(D))的动作理论,其中,对应于ProcessModel中的原子过程,可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模;对应于ProcessModel中的复合过程,可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画.以建模后得到的动作理论为基础,应用动态描述逻辑的推理机制,可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理.这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史忠植	中国科学院计算技术研究所智能信息处理重点实验室	232	9166	52.0	89.0
2	常亮	中国科学院计算技术研究所智能信息处理重点实验室	22	529	9.0	22.0