Gruber關于ontology的定義：一個ontology是共享概念化的形式化、顯式的定義。

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

 ----基于語義Web的服務自動組合技術的研究

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

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

1 明確性和客觀性：ontology應該用自然語言對所定義的術語給出明確的、客觀的語義定義。

2 完全性：所給定定義是完整的，完全能表達所描述術語的含義。

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

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

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

                                                ----Ontology研究綜述

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

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

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

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

                                        ----語義Web服務的自動組合方法：研究綜述

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

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

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

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

基于Web服務行為的組合方法：

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

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

                                        ----基于Ontology的Web服務組合方法