| 陈立民,王竹晓,史忠植.基于动态描述逻辑的Web服务自动组合技术[J].高技术通讯(中文),2011,21(1): |
| 基于动态描述逻辑的Web服务自动组合技术 |
| An approach for automatic Web service composition based on dynamic description logics |
| |
| DOI： |
| 中文关键词: Web服务;Web服务自动组合(WSC);语义Web;描述逻辑(DL);动态描述逻辑(DDL) |
| 英文关键词: |
| 基金项目:国家自然科学基金，863计划项目，973计划项目，国家科技支撑计划项目 |
| 陈立民,王竹晓,史忠植 |
1. 中国科学院智能信息处理重点实验室,北京,100190;中国科学院研究生院,北京,100049
2. 中国科学院智能信息处理重点实验室,北京,100190 |
| 摘要点击次数: 2781 |
| 全文下载次数: 0 |
| 中文摘要: |
| 提出了一种利用动态描述逻辑(DDL)的动态推理自动组合Web服务的方法.DDL是描述逻辑(DL)的一种动态扩展,它结合本体提供的静态信息与Web服务提供的计算,统一地描述和推理Web环境中静态信息与动态知识.该方法充分利用Web服务组合中涉及的静态知识(如描述逻辑知识库刻画的领域公理、具体环境和用户需求等)和动态知识(DDL中动作刻画的Web服务的功能),将Web服务组合的问题归约为DDL公式的可满足性问题,并通过一个可判的表扩展算法解决.开发了基于动态描述逻辑D-ALCHOQ的原型系统,并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景. |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
