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