面向綜合型系統(tǒng)的語義Web服務.pdf

1、語義Web服務和語義Web服務的自動組合是近期一個熱門的研究課題。目前與語義Web服務有關的研究工作大部分針對語義Web的層次結構，使用OWL-S語言，而本文的研究工作著重于語義Web與知識工程的結合。在知識工程中，用本體描述領域知識和PSMs(Problem Solving Methods，PSMs)，不但使知識工程更加科學化和規(guī)范化，而且通過將知識工程與語義Web結合，使PSMs也納入了Web服務的范疇。 通常基于知識的系統(tǒng)

2、可分為兩部分：分析型和綜合型。分別對應人類求解問題中的分析問題和解決問題這兩個階段。其中，綜合型系統(tǒng)一般分為配置、分配、調度、規(guī)劃等類型，在有些文獻中已經給出了一個總的問題解決框架。本文在此基礎上，針對實際領域所具有的知識的特征，對傳統(tǒng)的綜合型系統(tǒng)的PSMs進行研究，設計了新的PSMs。通過抽取PSMs的主要概念，以及分析概念之間的關系，給出了綜合型系統(tǒng)的語義Web服務組合架構——解決型語義Web服務。并通過WSMO(web servi

3、ce modeling ontology)平臺，將綜合型系統(tǒng)的PSMs轉換為語義Web服務組合的描述，實現(xiàn)了語義Web服務的組合架構，最終可通過IRS(Internet Reasoning Service)進行發(fā)布。 本文的主要工作如下： (一)針對實際領域所具有的知識的特征，對傳統(tǒng)的綜合型系統(tǒng)的PSMs進行研究，設計了新的PSMs。 (二)基于PSMs設計了解決型語義Web服務，將綜合型系統(tǒng)的求解轉為語義Web

4、服務的組合。解決型語義Web服務由一系列小粒度的語義Web服務組合而成，分為知識級語義Web服務和原子級語義Web服務兩種類型。為了支持服務執(zhí)行關系在架構中的正確反映和執(zhí)行控制，使用了在組合架構中的執(zhí)行控制算子，為組合服務轉為可執(zhí)行過程提供了基礎。同時為語義Web服務的自動組合研究提供了良好的基礎。 (三)解決型語義Web服務的實現(xiàn)與發(fā)布?；赪SMO平臺，將綜合型系統(tǒng)的PSMs轉換為語義Web服務組合的描述，并加以實現(xiàn)，并通過