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

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 中国科学院计算技术研究所期刊论文 > 2008年中文

	基于动态描述逻辑的语义Web服务推理
	史忠植; 常亮
刊名	计算机学报
	2008
期号	第9期页码:1599—1611
关键词	语义web服务 Owls 动态描述逻辑 Web服务推理服务发现和组合
英文摘要	语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题，基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来.动态描述逻辑是描述逻辑的一种动态扩展，支持面向语义Web的对动作的描述和推理.文中利用动态描述逻辑DDL(SHOIN(D))的描述和推理功能，提出对语义Web服务进行建模和推理的一种有效途径.从OWLS中的ProcessModel出发，将语义Web服务建模为基于DDL(SHOIN(D))的动作理论，其中，对应于ProcessModel中的原子过程，可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模；对应于ProcessModel中的复合过程，可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画.以建模后得到的动作理论为基础，应用动态描述逻辑的推理机制，可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理.这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持.
语种	中文
公开日期	2010-10-19
内容类型	期刊论文
源URL	[http://ictir.ict.ac.cn/handle/311040/733]
专题	中国科学院计算技术研究所期刊论文_2008年中文
推荐引用方式 GB/T 7714	史忠植,常亮. 基于动态描述逻辑的语义Web服务推理[J]. 计算机学报,2008(第9期):1599—1611.
APA	史忠植,&常亮.(2008).基于动态描述逻辑的语义Web服务推理.计算机学报(第9期),1599—1611.
MLA	史忠植,et al."基于动态描述逻辑的语义Web服务推理".计算机学报 .第9期(2008):1599—1611.