Institute of Computing Technology, Chinese Academy IR
| 基于动态描述逻辑的语义Web服务组合 | |
| 常亮1; 刘进1; 古天龙2; 史忠植3 | |
| 2013 | |
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164 |
| 卷号 | 36.0期号:012页码:2468 |
| 摘要 | 应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL（X）将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,为语义Web服务的建模提供了新的工具.提出了一种基于DDL（X）的语义Web服务自动组合方法.首先,在将OWL-S表示的语义Web服务建模为动作的基础上,将语义Web服务组合问题建模为基于DDL（X）的规划问题,其中规划问题的规划解可以由DDL（X）中的任一动作构成,从而可以支持OWL-S中不含有Split和Split＋Join的各种Web服务组合方案.针对建模后得到的任一规划问题,给出了用来判断是否存在规划解的判定算法,证明了算法的可终止性、可靠性和完备性.最后,当规划解存在时,可以根据判定过程将其解析出来.文中的方法充分发挥了DDL（X）在表达能力和计算性能等方面的优势,为语义Web服务自动组合提供了一套有效的理论工具. |
| 关键词 | 语义Web服务 服务组合 动态描述逻辑 动作理论 规划问题 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/26843 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.武汉大学 2.桂林电子科技大学 3.中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 常亮,刘进,古天龙,等. 基于动态描述逻辑的语义Web服务组合[J]. 计算机学报,2013,36.0(012):2468. |
| APA | 常亮,刘进,古天龙,&史忠植.(2013).基于动态描述逻辑的语义Web服务组合.计算机学报,36.0(012),2468. |
| MLA | 常亮,et al."基于动态描述逻辑的语义Web服务组合".计算机学报 36.0.012(2013):2468. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [常亮]的文章 |
| [刘进]的文章 |
| [古天龙]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [常亮]的文章 |
| [刘进]的文章 |
| [古天龙]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [常亮]的文章 |
| [刘进]的文章 |
| [古天龙]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论