基于动态描述逻辑的语义Web服务推理
文献类型：期刊论文
| 作者 | 史忠植; 常亮 |
| 刊名 | 计算机学报
 |
| 出版日期 | 2008 |
| 卷号 | 31.0期号:009页码:1599 |
| 关键词 | 语义Web服务 OWL-S 动态描述逻辑 Web服务推理 服务发现和组合 |
| ISSN号 | 0254-4164 |
| 英文摘要 | 语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题，基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来。动态描述逻辑是描述逻辑的一种动态扩展，支持面向语义Web的对动作的描述和推理。文中利用动态描述逻辑DDL（SHOIN（D））的描述和推理功能，提出对语义Web服务进行建模和推理的一种有效途径。从OWL-S中的ProcessModel出发，将语义Web服务建模为基于DDL（SHOIN（D））的动作理论，其中，对应于Process Model中的原子过程，可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模；对应于Process Model中的复合过程，可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画。以建模后得到的动作理论为基础，应用动态描述逻辑的推理机制，可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理。这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/37077]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 史忠植,常亮. 基于动态描述逻辑的语义Web服务推理[J]. 计算机学报,2008,31.0(009):1599. |
| APA | 史忠植,&常亮.(2008).基于动态描述逻辑的语义Web服务推理.计算机学报,31.0(009),1599. |
| MLA | 史忠植,et al."基于动态描述逻辑的语义Web服务推理".计算机学报 31.0.009(2008):1599. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。