赵莹映，章 韵

（南京邮电大学计算机学院 南京 210003）

1 引言

随着人们日益提升的网络需求，加上WWW自身发展的重要导向，一个新兴的课题——语义Web及其自动组合服务应运而生，Web服务这样一种第三产业的衍生物，毫无争议地成为眼下新晋的研究课题之一。Web服务组合管理关键技术的目标就是让网络协议规范化、服务项目原子化、服务内容组合化。语义Web服务组合作为一种能够快速提供复杂型组合服务的方法近年来得到广泛关注，同时为了达到上述目的，对其进一步的研究是必不可少的，而如何提高服务组合的可用性和实际性则成为Web服务组合管理中必备的组成部分和亟待解决的关键问题。

所谓Web服务[1,2]，是指一个应用程序能够给外界提供一个通过Web进行调用的API，即用户可以通过简单方式向Web发送请求，让Web调用其应用程序，等待查看返回结果。基于语义的Web自动组合服务，是指用一种或多种语义标记语言描述服务提供者提供的各个原子服务，使其成为可被计算机或服务器理解的知识，进而通过情景演算推理机制，使得计算机可针对用户的需求发现知识并对其加以重组，以此产生一系列组合形式的服务回馈用户。

Prolog[3]（programming in logic），即人们通常所说的人工智能语言，是一种建立于逻辑学理论基础之上的逻辑编程语言，其最重要的应用在于自然语言的理解以及智能知识库的构建，它采用一些代替逻辑语言的符号表示程序的内容，因此具有相对较快的编程速度。……