Institute of Computing Technology, Chinese Academy IR
| 基于动态描述逻辑的语义Web服务匹配研究 | |
| 彭晖; 陈立民; 常亮; 史忠植 | |
| 2008 | |
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| 卷号 | 45.0期号:012页码:2102 |
| 摘要 | 动态描述逻辑（dynamic description logic,DDL）是描述逻辑（description logic,DL）的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法：将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性. |
| 关键词 | 语义Web服务 服务匹配 描述逻辑 动态描述逻辑 动作 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/34692 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 彭晖,陈立民,常亮,等. 基于动态描述逻辑的语义Web服务匹配研究[J]. 计算机研究与发展,2008,45.0(012):2102. |
| APA | 彭晖,陈立民,常亮,&史忠植.(2008).基于动态描述逻辑的语义Web服务匹配研究.计算机研究与发展,45.0(012),2102. |
| MLA | 彭晖,et al."基于动态描述逻辑的语义Web服务匹配研究".计算机研究与发展 45.0.012(2008):2102. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [彭晖]的文章 |
| [陈立民]的文章 |
| [常亮]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [彭晖]的文章 |
| [陈立民]的文章 |
| [常亮]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [彭晖]的文章 |
| [陈立民]的文章 |
| [常亮]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论