Gruber關(guān)于ontology的定義：一個(gè)ontology是共享概念化的形式化、顯式的定義。

“概念化”是指通過確定相關(guān)的概念，對生活中某些現(xiàn)象的抽象化建模；“顯式”是明確定義使用的概念類型以及對它們的使用約束；“形式化”指定義的ontology應(yīng)該是機(jī)器可讀的事實(shí)，而不是自然語言；“共享”說明了一個(gè)ontology不是個(gè)人私有的，而是在一定范圍內(nèi)被人們普遍接受。                             

 ----基于語義Web的服務(wù)自動(dòng)組合技術(shù)的研究

描述邏輯(Description Logic)：是一種功能強(qiáng)大的基于邏輯的知識表達(dá)語言，可以看成是一種結(jié)構(gòu)化的一階邏輯，主要用于建模對象和類的豐富層次結(jié)構(gòu)。

Gruber提出的5條規(guī)則：

1 明確性和客觀性：ontology應(yīng)該用自然語言對所定義的術(shù)語給出明確的、客觀的語義定義。

2 完全性：所給定定義是完整的，完全能表達(dá)所描述術(shù)語的含義。

3 一致性：由術(shù)語所得的推論與術(shù)語本身的含義是相容的，不會(huì)產(chǎn)生矛盾。

4 最大單調(diào)可擴(kuò)展性：向ontology中添加通用或?qū)Ｓ玫男g(shù)語時(shí)，不需要修改其已有的內(nèi)容。

5 最小承諾：對待建模對象給出盡可能少的約束。

                                                ----Ontology研究綜述

Web服務(wù)組合所采用的具體方法和技術(shù)依賴于Web服務(wù)描述所采用的方法和方式。從服務(wù)組合的角度來說，服務(wù)描述的主要工作在于選擇合適的Web服務(wù)描述語言和Web服務(wù)模型，有效地為Web服務(wù)組合提供必要的信息。

Web服務(wù)的輸入、輸出參數(shù)的類型信息之Web服務(wù)組合方法中有著重要的地位。但僅僅依賴它似乎不能給出一個(gè)正確的Web服務(wù)組合。通過對Web服務(wù)功能的結(jié)構(gòu)化描述（即Web服務(wù)的前提條件及執(zhí)行結(jié)果），我們能夠保證獲得的組合服務(wù)是能夠滿足查詢的要求的。對服務(wù)功能進(jìn)行結(jié)構(gòu)化描述的需求也是導(dǎo)致本體和規(guī)則的整合問題成為當(dāng)前語義Web中的研究熱點(diǎn)的一個(gè)原因。

總之，語義Web服務(wù)組合的自動(dòng)化離不開自動(dòng)推理，而各種各樣的形式化系統(tǒng)都有其自身在計(jì)算復(fù)雜度和表達(dá)能力之間的權(quán)衡和考量。如何選擇和設(shè)計(jì)一個(gè)適合語義Web服務(wù)組合的形式系統(tǒng)，是語言Web服務(wù)組合的自動(dòng)化中最核心、最基本的問題。

語義Web服務(wù)組合的粒度可參照語義Web服務(wù)描述分為三個(gè)層次。第一層次是在Web服務(wù)輸入、輸出參數(shù)的類型上進(jìn)行服務(wù)組合，該層次中的推理對象只涉及到OWL中的類，語義Web剛好能夠滿足它對推理能力的要求。第二層次上在Web服務(wù)執(zhí)行的前提條件和結(jié)構(gòu)上進(jìn)行服務(wù)組合，該層次通常要借助于OWL之外的推理機(jī)制，比如演繹規(guī)則系統(tǒng)，但是OWL和演繹規(guī)則系統(tǒng)的結(jié)合常常導(dǎo)致服務(wù)組合算法不可判定。第三個(gè)層次是在Web服務(wù)外包行為上進(jìn)行服務(wù)組合，它所采用的方法或是借鑒或是直接取自服務(wù)驗(yàn)證領(lǐng)域的工作，但通常我們并不會(huì)單獨(dú)地在這個(gè)層次上進(jìn)行服務(wù)組合，而是把它當(dāng)作前面的兩個(gè)層次上的服務(wù)組合方法的有效補(bǔ)充。

                                        ----語義Web服務(wù)的自動(dòng)組合方法：研究綜述

Web服務(wù)組合方法的研究工作主要來自兩個(gè)領(lǐng)域：一個(gè)是人工智能領(lǐng)域，另一個(gè)是形式化方法和自動(dòng)推理領(lǐng)域。人工智能領(lǐng)域的研究人員從人工智能規(guī)劃（AI Planning）的角度提出一系列的面向Web服務(wù)功能的Web服務(wù)組合（規(guī)劃）方案。來自形式化方法和自動(dòng)推理領(lǐng)域的工作除了面向Web服務(wù)行為的服務(wù)組合（驗(yàn)證）方法，也不乏借鑒自動(dòng)化程序綜合和模型檢驗(yàn)的方法。

人工智能規(guī)劃組合方法的不足：

1 無法產(chǎn)生能夠與Web服務(wù)的非確定性和并發(fā)性相適應(yīng)的組合服務(wù)。

2 Web服務(wù)的行為特性和經(jīng)典規(guī)劃中的動(dòng)作的行為特征是非常不一樣的，這使得規(guī)劃算法難以在Web服務(wù)組合中得到應(yīng)用。

基于Web服務(wù)行為的組合方法：

能克服基于人工智能規(guī)劃方法的上述不足，但無法滿足用戶的需求。Web服務(wù)的行為通常借助于自動(dòng)機(jī)或進(jìn)程代數(shù)進(jìn)行表述。改進(jìn)方法：把消息的參數(shù)類型與領(lǐng)域本體中的概念聯(lián)系起來，并在服務(wù)組合時(shí)加以考慮，那么就能保證產(chǎn)生的組合服務(wù)不僅能在行為上滿足用戶需求，而且在功能上也能夠滿足用戶需求。

Web服務(wù)組合和Web服務(wù)匹配的聯(lián)系是非常密切的，如果把服務(wù)組合當(dāng)作一個(gè)狀態(tài)收索過程的話，那么服務(wù)匹配就相當(dāng)于這個(gè)收索過程之中篩選合適的后繼狀態(tài)的步驟。

                                        ----基于Ontology的Web服務(wù)組合方法