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

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

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

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

Gruber提出的5條規則：

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

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

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

4 最大單調可擴展性：向ontology中添加通用或專用的術語時，不需要修改其已有的內容。

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

                                                ----Ontology研究綜述

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

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

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

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

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

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

人工智能規劃組合方法的不足：

1 無法產生能夠與Web服務的非確定性和并發性相適應的組合服務。

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

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

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

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

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