语义Web服务和语义Web服务的自动组合是近期一个热门的研究课题。目前与语义Web服务有关的研究工作大部分针对语义Web的层次结构，使用OWL-S语言，而本文的研究工作着重于语义Web与知识工程的结合。在知识工程中，用本体描述领域知识和PSMs(Problem Solving Methods，PSMs)，不但使知识工程更加科学化和规范化，而且通过将知识工程与语义Web结合，使PSMs也纳入了Web服务的范畴。 通常基于知识的系统可分为两部分：分析型和综合型。分别对应人类求解问题中的分析问题和解决问题这两个阶段。其中，综合型系统一般分为配置、分配、调度、规划等类型，在有些文献中已经给出了一个总的问题解决框架。本文在此基础上，针对实际领域所具有的知识的特征，对传统的综合型系统的PSMs进行研究，设计了新的PSMs。通过抽取PSMs的主要概念，以及分析概念之间的关系，给出了综合型系统的语义Web服务组合架构——解决型语义Web服务。并通过WSMO(web service modeling ontology)平台，将综合型系统的PSMs转换为语义Web服务组合的描述，实现了语义Web服务的组合架构，最终可通过IRS(Internet Reasoning Service)进行发布。 本文的主要工作如下： (一)针对实际领域所具有的知识的特征，对传统的综合型系统的PSMs进行研究，设计了新的PSMs。 (二)基于PSMs设计了解决型语义Web服务，将综合型系统的求解转为语义Web服务的组合。解决型语义Web服务由一系列小粒度的语义Web服务组合而成，分为知识级语义Web服务和原子级语义Web服务两种类型。为了支持服务执行关系在架构中的正确反映和执行控制，使用了在组合架构中的执行控制算子，为组合服务转为可执行过程提供了基础。同时为语义Web服务的自动组合研究提供了良好的基础。 (三)解决型语义Web服务的实现与发布。基于WSMO平台，将综合型系统的PSMs转换为语义Web服务组合的描述，并加以实现，并通过IRS进行发布。