基于动态描述逻辑的语义Web服务组合

作者：常亮; 刘进; 古天龙; 史忠植

来源：计算机学报, 2013, (12): 2468-2478.

• 语义Web服务
• 服务组合
• 动态描述逻辑
• 动作理论
• 规划问题 semantic Web service
• service composition
• dynamic description logic
• action theory
• planning problem

应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,为语义Web服务的建模提供了新的工具.提出了一种基于DDL(X)的语义Web服务自动组合方法.首先,在将OWL-S表示的语义Web服务建模为动作的基础上,将语义Web服务组合问题建模为基于DDL(X)的规划问题,其中规划问题的规划解可以由DDL(X)中的任一动作构成,从而可以支持OWL-S中不含有Split和Split+Join的各种Web服务组合方案.针对建模后...

• 单位
  中国科学院计算技术研究所; 武汉大学; 桂林电子科技大学; 软件工程国家重点实验室