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

高技术通讯2011年第2l卷第1期：58～64 doi：10．3772／j．issn．1002·0470．2011．01．010 基于动态描述逻辑的Web服务自动组合技术① 陈立民②。“ 王竹晓。” 史忠植。 (’中国科学院智能信息处理重点实验室 北京100190) (”中国科学院研究生院 北京100049) 摘要提出了一种利用动态描述逻辑(DDL)的动态推理自动组合Web服务的方法。DDL 是描述逻辑(DL)的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算， 统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中 涉及的静态知识(如描述逻辑知识库刻画的领域公理、具体环境和用户需求等)和动态知 识(DDL中动作刻画的Web服务的功能)，将Web服务组合的问题归约为DDL公式的可 满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D．ALCHOQ 的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。 (DDL) si瑚【4 0 引言 task Web服务组合是指通过合理地选择、组合现有 的Web服务来构成满足用户需要的增值服务的过 递归地去发现能够匹配模板中子任务的Web服务， 程。然而，伴随Web服务的大量涌现，手动分析它 直到子任务可以通过现有Web服务实现或失败。 们变得困难、易出错、费时，Web服务组合的自动化 J在知识 成为Web服务领域最具挑战性的问题之一。 层面的规划，也都旨在通过挖掘Web服务间深层次 目前，Pi演算[1]1、Petri网12，3|、智能规划14J等技 的语义信息实现自动的w曲服务组合。文献[12．14] 术广泛应用于Web服务自动组合的研究。 更为详尽地综述了Web服务组合的工作，可供读者 Narayanan等[3]在情景演算的基础上用Petri网模拟进一步参考。然而，描述逻辑的语义模型只包含静 原子组件的复合过程，建立了Web服务的Petri网模态成分，没有从“执行Web服务后产生的效果”等动 型，将Web服务组合归约为Petri网的可达问题，然 态内涵的角度提供相应的语义支持，因而基于描述 其相关推理局限于命题层面。Mellraith等拍J利用逻辑的Web服务组合方法虽在表达能力与推理复 杂性之间取得了很好的折中，但无法进一步挖掘 Golog刻画DAML-S中Split和Split+Join结构以外的 复合过程，利用支持Golog的规划算法和工具L6J，实 Web服务语义间的动态联系，在缺乏显式的(explic— 现Web服务的自动组合。这种方法虽有很强的描 it)服务分解知识时，这类方法通常提供不出任何组 述能力和成熟的理论基础，但谓词演算的不可判定 合方案。针对以上问题，本文提出了一种基于动态 性限制了它的实际应用。针对语言的描述能力和推 描述逻辑(aynaH,icdescriptionlogic，DDL)的方法自 理复杂性这对矛盾，众多研究者使用描述逻辑【7’81 动组合Web服务的技术。本文提出的Web服务组 J对比动态 作为Web服务的描述语言。王杰生等【9 合方法将Web服务组合过程中使用的静态知识和 逻辑和描述逻辑，采用描述逻辑来刻画Web服务的 动态知识统一纳入DDL的逻辑框架下，通过对动作 输入输出以及服务执行的前提条件和后果，把语义 执行效果的逻辑推理自动组合Web服务。它摆脱 Web服务组合问题归约为描述逻辑推理问题。