OWL-S是一種用來描述Web服務(wù)屬性和功能的OWL本體規(guī)范,它使用一系列基本的類和屬性來描述服務(wù),提供了一個(gè)可共享的框架。在OWL-S中,描述服務(wù)的基本信息有三類本體:ServiceProfile、ServiceModel和ServiceGrounding。
ServiceProfile:類似于服務(wù)的黃頁,描述了服務(wù)查詢代理用來判斷服務(wù)是否滿足它要求的一組屬性信息,如服務(wù)提供的功能、輸入輸出、執(zhí)行的前提條件、執(zhí)行的后果等。
ServiceModel:描述了服務(wù)的過程模型(使用服務(wù)時(shí)所涉及的控制流和數(shù)據(jù)流)。它描述了服務(wù)是如何工作的,和ServiceGrounding配合用于服務(wù)的自動(dòng)組合和執(zhí)行。
ServiceGrounding:將過程模型的描述和WSDL中東通訊協(xié)議及消息聯(lián)系起來。描述了如何訪問一個(gè)服務(wù)。
具體來說,OWL-S基于PDDL(一種用于描述規(guī)劃領(lǐng)域問題的規(guī)范語言),將Web服務(wù)看成是AI中的動(dòng)作或行為,用參數(shù)、前提和結(jié)果等來描述一個(gè)服務(wù),同時(shí)輸入和輸出也作為知識型的前提和結(jié)果。在服務(wù)組合規(guī)劃時(shí),需要將這些表示編譯成合適的動(dòng)作形式化描述(例如狀態(tài)演算。)然而,對于服務(wù)組合的支持,OWL-S仍有不足。如,OWL語言基于描述邏輯,在表達(dá)一般規(guī)則方面有局限性,不能很好地表示用戶的偏好和約束。
----基于語義Web的服務(wù)自動(dòng)組合技術(shù)的研究
Resource Description Framework,資源描述框架,是W
與XML中的標(biāo)記(tags)類似,RDF中的屬性(properties)集也是沒有任何限制的。也就是說存在同義詞現(xiàn)象和一詞多意現(xiàn)象。RDF的模型不具備解決這兩個(gè)問題的能力,而RDF Schema雖然可以為RDF資源的的屬性和類型提供詞匯表,但是基于RDF的數(shù)據(jù)語義描述仍然可能存在語義沖突。為了消解語義沖突,我們在描述數(shù)據(jù)語義的時(shí)候可以通過引用Ontology的相關(guān)技術(shù),對語義描述結(jié)果作進(jìn)一步的約束。幸運(yùn)的是,RDF(Schema)在提供了簡單的機(jī)器可理解語義模型的同時(shí),為領(lǐng)域化的Ontology語言(OIL,OWL)提供了建?;A(chǔ),并使得基于RDF的應(yīng)用可以方便地與這些Ontology語言所生成的Ontology進(jìn)行合并。RDF的這一特性使得基于RDF的語義描述結(jié)果具備了可以和更多的領(lǐng)域知識進(jìn)行交互的能力,也使基于XML和RDF的Web數(shù)據(jù)描述具備了良好的生命力。
OWL全稱Web Ontology Language,是W
針對不同的需求OWL有三個(gè)子語言,描述列表如下:
子語言 |
描述 |
例子 |
OWL Lite |
用于提供給那些只需要一個(gè)分類層次和簡單的屬性約束的用戶。 |
支持基數(shù)(cardinality),只允許基數(shù)為0或1。 |
OWL DL |
支持那些需要在推理系統(tǒng)上進(jìn)行最大程度表達(dá)的用戶,這里的推理系統(tǒng)能夠保證計(jì)算完全性(computational
completeness,即所有地結(jié)論都能夠保證被計(jì)算出來)和可決定性(decidability,即所有的計(jì)算都在有限的時(shí)間內(nèi)完成)。它包括了OWL語言的所有約束,但是可以被僅僅置于特定的約束下。 |
當(dāng)一個(gè)類可以是多個(gè)類的一個(gè)子類時(shí),它被約束不能是另外一個(gè)類的實(shí)例。 |
OWL Full |
支持那些需要在沒有計(jì)算保證的語法自由的RDF上進(jìn)行最大程度表達(dá)的用戶。它允許在一個(gè)Ontology在預(yù)定義的(RDF、OWL)詞匯表上增加詞匯,從而任何推理軟件均不能支持OWL FULL的所有feature。 |
一個(gè)類可以被同時(shí)表達(dá)為許多個(gè)體的一個(gè)集合以及這個(gè)集合中的一個(gè)個(gè)體。 |