基于动态描述逻辑的Web服务自动组合技术

摘要：

提出了一种利用动态描述逻辑(DDL)的动态推理自动组合Web服务的方法.DDL是描述逻辑(DL)的一种动态扩展,它结合本体提供的静态信息与Web服务提供的计算,统一地描述和推理Web环境中静态信息与动态知识.该方法充分利用Web服务组合中涉及的静态知识(如描述逻辑知识库刻画的领域公理、具体环境和用户需求等)和动态知识(DDL中动作刻画的Web服务的功能),将Web服务组合的问题归约为DDL公式的可满足性问题,并通过一个可判的表扩展算法解决.开发了基于动态描述逻辑D-ALCHOQ的原型系统,并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景.

关键词：Web服务、Web服务自动组合(WSC)、语义Web、描述逻辑(DL)、动态描述逻辑(DDL)

所属期刊栏目：21

分类号：TP3;TP1

资助基金：国家自然科学基金60775035;863计划2007AA01Z132;973计划2007CB311004;国家科技支撑计划2006BAC08B06

在线出版日期：2011-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：58-64