RDF概念及語法_第1頁
RDF概念及語法_第2頁
RDF概念及語法_第3頁
RDF概念及語法_第4頁
RDF概念及語法_第5頁
已閱讀5頁,還剩2頁未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡介

1、RDF概念及語法資源描述框架(Resource Description Framework, RDF)是一種用于表示W(wǎng)eb上信息的框 架。2.動機(jī)和目標(biāo)RDF有一個(gè)抽象語法體現(xiàn)了一個(gè)簡單的基于圖的數(shù)據(jù)模型,還有一個(gè)具有一個(gè)嚴(yán)格定 義的蘊(yùn)涵概念的形式語義,為RDF數(shù)據(jù)中的演繹推理提供了一個(gè)基礎(chǔ)。2.1動機(jī)RDF的發(fā)展被如下的一些應(yīng)用所驅(qū)動,包括:Web元數(shù)據(jù):提供了關(guān)于Web資源和使用Web資源的系統(tǒng)的信息(例如:內(nèi)容分級, 性能描述,個(gè)人偏好,等等)。需要開放而非封閉的信息模型的應(yīng)用(例如:活動安排,描述組織流程,Web資源 的標(biāo)注,等等)。正如萬維網(wǎng)為超文本做的那樣,為機(jī)器可處理的信息(應(yīng)用

2、程序數(shù)據(jù))做同樣的事: 允許數(shù)據(jù)在創(chuàng)建它的特定環(huán)境以外被處理,且以一種能擴(kuò)展到互聯(lián)網(wǎng)的方式被處理。應(yīng)用之間的互操作:合并來自單個(gè)應(yīng)用的數(shù)據(jù)構(gòu)成新的信息。軟件Agent對Web信息的自動化處理:Web由僅有易于人類閱讀的信息轉(zhuǎn)變?yōu)橐?個(gè)世界范圍的協(xié)同程序的網(wǎng)絡(luò)。RDF為這些程序提供了一種世界范圍的標(biāo)準(zhǔn)語言。RDF的設(shè)計(jì)目的是能以最低限度的約束,靈活地描述信息。它可以用于獨(dú)立的應(yīng)用, 其中單獨(dú)設(shè)計(jì)的數(shù)據(jù)格式可能更為直接和易于理解,但RDF的通用性使得數(shù)據(jù)的共享能提 供更大的價(jià)值。.當(dāng)信息被整個(gè)Internet中越來越多的應(yīng)用程序接受時(shí),信息也在不斷的增值。2.2 設(shè)計(jì)目標(biāo)RDF的設(shè)計(jì)試圖達(dá)到如下幾

3、個(gè)目標(biāo):有一個(gè)簡單的數(shù)據(jù)模型:RDF有一種便于應(yīng)用程序處理和操作的簡單數(shù)據(jù)模型。 這個(gè)數(shù)據(jù)模型獨(dú)立任何特定的序列化語法。有形式化的語義和可證明的推論:RDF有一個(gè)形式化的語義,它為對關(guān)于RDF表 達(dá)式的含義的推理提供了一個(gè)可靠的基礎(chǔ)。特別地,它提供了一個(gè)嚴(yán)格定義的蘊(yùn)涵 概念,從而為在RDF數(shù)據(jù)中定義可靠的推理規(guī)則奠定了基礎(chǔ)。使用一個(gè)基于URI的可擴(kuò)展詞匯集:基于具有可選的片段標(biāo)識符(URI引用,或 URIrefs)的 URIs,詞匯集是完全可擴(kuò)展的。URI引用在RDF中被用來命名所有類 別的事物。在RDF數(shù)據(jù)中出現(xiàn)的另一種值是文字。使用一種基于XML的語法:RDF有一個(gè)XML序列化格式的推薦標(biāo)

4、準(zhǔn) RDF-SYNTAX (/TR/rdf-concepts/#ref-rdf-syntax),它可用來編碼 應(yīng)用中信息交換所用的數(shù)據(jù)模型。支持XML Schema數(shù)據(jù)類型的使用:RDF可以使用根據(jù)XML Schema數(shù)據(jù)類型 XML-SCHEMA2 (/TR/rdf-concepts/#ref-xml-schema2)表示的數(shù) 值,因此有助于在RDF和其他XML應(yīng)用程序中信息的交換。允許任何人發(fā)表關(guān)于任何資源的陳述:為了推動在互聯(lián)網(wǎng)層次上的操作,RDF是 一種允許任何人發(fā)表關(guān)于任何資源陳述的開放的框架。一般說來,不假設(shè)關(guān)于任何 資源的所有信息都是可用到的。RDF并不阻止任何人發(fā)表那些毫無意義

5、或者有悖 于其他陳述,或有悖于人們看到的世界的聲明。那些使用了 RDF的應(yīng)用程序的設(shè) 計(jì)者應(yīng)該了解這一點(diǎn),并使設(shè)計(jì)的應(yīng)用程序能夠容忍不完全或是不協(xié)調(diào)的信息。3. RDF概念RDF使用如下的關(guān)鍵概念:基于圖的數(shù)據(jù)模型在RDF中任何表達(dá)式的基本結(jié)構(gòu)是一個(gè)三元組的集合,每個(gè)三元組由一個(gè)主體、一個(gè)謂詞 和一個(gè)客體組成。一系列這樣的三元組被稱為 RDF圖 ( HYPERLINK http:/www.w3.Org/TR/rdf-concepts/%23section-Graph-syntax)%ef%bc%8c%e8%bf%99%e5%8f%af%e4%bb%a5%e7%94%a8%e5%85%b7%e6

6、%9c%89%e4%b8%80%e4%b8%aa%e8%8a%82%e7%82%b9%e5%92%8c%e6%9c%89%e5%90%91 http:/www.w3.Org/TR/rdf-concepts/#section-Graph-syntax),這可以用具有一個(gè)節(jié)點(diǎn)和有向 邊的圖來表示,在圖中每個(gè)三元組用一個(gè)節(jié)點(diǎn)-邊-節(jié)點(diǎn)的連接表示(故稱之“圖“)。每個(gè) 三元組表示由節(jié)點(diǎn)連接表示的事務(wù)之間的關(guān)系一個(gè)陳述。每個(gè)三元組有三部分:一個(gè)主體( HYPERLINK http:/www.w3.Org/TR/rdf-concepts/%23dfn-subject)%ef%bc%8c http:/www

7、.w3.Org/TR/rdf-concepts/#dfn-subject),一個(gè)客體( HYPERLINK /TR/rdf-concepts/%23dfn-object)%ef%bc%8c%e5%92%8c /TR/rdf-concepts/#dfn-object),和一個(gè)謂詞 ( HYPERLINK /TR/rdf-concepts/%23dfn-predicate)(%e4%b9%9f%e7%a7%b0%e4%b8%ba%e5%b1%9e%e6%80%a7 /TR/rdf-concepts/#dfn-predicate)(也稱為屬性 ( HYPERLINK /TR/rdf-concepts

8、/%23dfn-property)%ef%bc%8c%e5%ae%83%e8%a1%a8%e7%a4%ba%e4%b8%80%e4%b8%aa%e5%85%b3%e7%b3%bb%e3%80%82%e8%be%b9%e7%9a%84%e6%96%b9%e5%90%91%e5%be%88%e9%87%8d%e8%a6%81%ef%bc%9a%e5%ae%83 /TR/rdf-concepts/#dfn-property),它表示一個(gè)關(guān)系。邊的方向很重要:它 總是指向客體。RDF 圖的節(jié)點(diǎn)(http:/www.w3.0rg/TR/rdf-concepts/#section-Graph-Node)是

9、它的主體和客體。RDF三元組的斷言說明一些關(guān)系,這是由謂詞表示的,在三元組的主體和客體表示的事物 之間的關(guān)系。RDF三元組的斷言的總和就是斷言圖中所有的三元組,因此RDF圖的含義就 是對應(yīng)所有圖中三元組包含的陳述的關(guān)聯(lián)(邏輯合取)?;赨RI的詞匯識:一個(gè)節(jié)點(diǎn)可以是一個(gè)URI跟隨一個(gè)可選片斷標(biāo)識(URI reference ( HYPERLINK /TR/rdf-concepts/%23dfn-URI-reference)%ef%bc%8c%e6%88%96%22URIref%22)%ef%bc%8c%e6%96%87%e5%ad%97%ef%bc%8c%e6%88%96%e6%98%af%e

10、7%a9%ba%e8%8a%82%e7%82%b9(%e6%97%a0 /TR/rdf-concepts/#dfn-URI-reference),或URIref),文字,或是空節(jié)點(diǎn)(無 單獨(dú)的標(biāo)識形式)。屬性是“ URI引用”。(查看URI ( HYPERLINK /TR/rdf-concepts/%23ref-uris)%ef%bc%bd%ef%bc%8c /TR/rdf-concepts/#ref-uris),作為節(jié)點(diǎn)的一個(gè)URI應(yīng)用或文字標(biāo)識了這個(gè)節(jié)點(diǎn)表示的事物。作為謂詞的一個(gè)URIref標(biāo)識 了由它連接的節(jié)點(diǎn)表示的事物之間的關(guān)系。一個(gè)謂詞URIref在圖中也可能作為一個(gè)節(jié)點(diǎn)。一個(gè)空節(jié)點(diǎn)

11、( HYPERLINK /TR/rdf-concepts/%23dfn-blank-node)%e6%97%a2%e4%b8%8d%e6%98%af%e4%b8%80%e4%b8%aa /TR/rdf-concepts/#dfn-blank-node)既不是一個(gè) URI 引用也不是 文字。在RDF抽象語法中,一個(gè)空節(jié)點(diǎn)只是一個(gè)獨(dú)特的節(jié)點(diǎn),可以用在一個(gè)或多個(gè)RDF陳 述中,但是沒有內(nèi)在的名字。有一個(gè)慣例用于RDF圖的一些線性表達(dá)方式中:即通過空節(jié)點(diǎn)標(biāo)識符,允許多個(gè)陳述引用 同一個(gè)未標(biāo)識的資源,它是一個(gè)和所有URIs和文字不同的本地標(biāo)識符。當(dāng)合并圖的時(shí)候, 為了保留空節(jié)點(diǎn)的含義,那么不同圖中的空節(jié)

12、點(diǎn)必須保持不同,這可能會導(dǎo)致重新分配空節(jié) 點(diǎn)標(biāo)識符。注意,這些空節(jié)點(diǎn)標(biāo)識符并不是RDF抽象語法的一部分,而且包含空節(jié)點(diǎn)的三 元組的表示完全依賴于特定的所用具體語法。數(shù)據(jù)類型:數(shù)據(jù)類型被RDF用來表示數(shù)值,如整數(shù)、浮點(diǎn)數(shù)數(shù)字和日期。一個(gè)數(shù)據(jù)類型由一個(gè)詞法空間,一個(gè)值空間和一個(gè)詞法-到-值的映射組成,查看第5節(jié) ( HYPERLINK /TR/rdf-concepts/%23section-Datatypes)%e3%80%82 /TR/rdf-concepts/#section-Datatypes)。例如,對XML Schema的數(shù)據(jù)類型xsd:boolean的詞法-到-值映射,其中值空間的每個(gè)

13、成員 (這里由T和F 和表示)具有兩個(gè)詞法表達(dá),如下所示:值空間T, F詞法空間0”, 1, true, false詞法-至U-值映射, , , RDF 僅 預(yù) 定 義 一 個(gè) 數(shù) 據(jù) 類 型 rdf:XMLLiteral ( HYPERLINK /TR/rdf-concepts/%23dfn-rdf-XMLLiteral),%e7%94%a8%e6%9d%a5%e6%8a%8a /TR/rdf-concepts/#dfn-rdf-XMLLiteral),用來把 XML 嵌入到 RDF 中。在RDF中沒有內(nèi)建的數(shù)字概念,或是日期,或者其他普通數(shù)值,相反,RDF允許獨(dú)立的定 義數(shù)據(jù)類型,且應(yīng)用

14、URI來標(biāo)識。預(yù)定義的 XML Schema數(shù)據(jù)類型XML-SCHEMA2 ( HYPERLINK http:/www.w3.Org/TR/rdf-concepts/%23ref-xml-schema2)%ef%bc%bd%e5%b0%b1%e6%98%af%e4%b8%ba%e4%ba%86%e8%bf%99%e4%b8%aa%e7%9b%ae%e7%9a%84%ef%bc%8c%e4%b8%94%e5%b8%8c%e6%9c%9b%e8%83%bd%e5%b9%bf%e6%b3%9b%e7%9a%84 http:/www.w3.Org/TR/rdf-concepts/#ref-xml-sc

15、hema2)就是為了這個(gè)目的,且希望能廣泛的 應(yīng)用。RDF沒有提供定義新數(shù)據(jù)類型的機(jī)制,XML Schema數(shù)據(jù)類型XML-SCHEMA2 ( HYPERLINK http:/www.w3.Org/TR/rdf-concepts/%23ref-xml-schema2)%ef%bc%bd%e6%8f%90%e4%be%9b%e4%ba%86%e5%8f%af%e6%89%a9%e5%b1%95%e7%9a%84%e6%a1%86%e6%9e%b6%ef%bc%8c%e9%80%82%e5%90%88%e5%ae%9a%e4%b9%89%e7%94%a8%e5%9c%a8 http:/www.w3

16、.Org/TR/rdf-concepts/#ref-xml-schema2)提供了可擴(kuò)展的框架,適合定義用在 RDF中的新數(shù)據(jù)類型文字:文字用以通過一種詞法表示的形式表示一些值,例如數(shù)字和日期。任何可以用文字表示的事 物都可以用URI來表示,但使用文字往往更方便和直觀。一個(gè)文字可能是一個(gè)RDF陳述的客體,但不是主體或者謂詞。文字可以是平凡的也可以是類型的:一個(gè)平凡文字( HYPERLINK http:/www.w3.Org/TR/rdf-concepts/%23dfn-plain-literal http:/www.w3.Org/TR/rdf-concepts/#dfn-plain-liter

17、al )是結(jié)合一個(gè)可選的語言 標(biāo)簽的字符串。這可能用在自然語言中的純文本。正如RDF形式化語義RDF-SEMANTICS ( HYPERLINK /TR/rdf-concepts/%23ref-rdf-semantics)%ef%bc%bd%e4%b8%ad%e6%8e%a8%e8%8d%90%e7%9a%84%ef%bc%8c%e8%bf%99%e4%ba%9b%e5%b9%b3%e5%87%a1%e6%96%87%e5%ad%97%e6%98%af%e8%87%aa%e6%88%91%e8%a1%a8%e8%be%be /TR/rdf-concepts/#ref-rdf-semantics

18、)中推薦的,這些平凡文字是自我表達(dá) 的。一個(gè)類型文字(http:/www.w3.0rg/TR/rdf-concepts/#dfn-typed-literal )是由一個(gè)字符串和一個(gè) 數(shù)據(jù)類型URI組合起來的。它表示了確定的數(shù)據(jù)類型的值空間的一部分,其中這個(gè)值空間 是通過對文字字符串應(yīng)用詞法到值的映射得來的??梢酝ㄟ^使用XML Schema數(shù)據(jù)類型xsd:boolean定義的類型文字是:類型文字詞匯值映射值 T Txsd:boolean, false F F對于可能包含標(biāo)記的文本,用類型文字帶類型rdf:XMLLiteral ( HYPERLINK /TR/rdf-concepts/%23sec

19、tion-XMLLiteral)%e3%80%82%e5%a6%82%e6%9e%9c%e9%9c%80%e8%a6%81%e8%af%ad%e8%a8%80%e6%b3%a8%e8%a7%a3%ef%bc%8c%e5%bf%85%e9%a1%bb%e6%98%be%e5%bc%8f%e7%9a%84%e4%bd%9c /TR/rdf-concepts/#section-XMLLiteral)。如果需要語言注解,必須顯式的作 為標(biāo)記,一般通過 xml:lang屬性。XHTML ( HYPERLINK /TR/rdf-concepts/%23ref-xhtml)%ef%bc%bd /TR/rdf

20、-concepts/#ref-xhtml) 也可能通過這種方式包含在RDF中。在后面這種情況(XHTML),需要額外的span或者 div元素有xml:lang或者lang屬性。XML序列化語法:簡單事實(shí)的RDF表達(dá)法:一些簡單事實(shí)表達(dá)了兩個(gè)事物之間的關(guān)系。這樣的事實(shí)可以用一個(gè)RDF三元組表示,其中 用謂詞命名事物的關(guān)系,主體和客體指代兩個(gè)事物。類似的事實(shí)表達(dá)可能在關(guān)系數(shù)據(jù)庫中用 表中的一行表示。該表具有兩列,相對應(yīng)著RDF三元組中的主體和客體。表名對應(yīng)于RDF 三元組中的謂詞。更多的類似表示可能是一階邏輯中的一個(gè)二元謂詞。關(guān)系數(shù)據(jù)庫允許一個(gè)表有任意多個(gè)列,表中表示信息的一行對應(yīng)于一階邏輯中的

21、有任意元的 謂詞。這樣的行,或者謂詞,為了便于表達(dá)必須分解為RDF三元組。一個(gè)簡單分解的形式 引入一個(gè)新的對應(yīng)于行的空節(jié)點(diǎn),而且為行中的每個(gè)單元引入一個(gè)新三元組。每個(gè)三元組的 主體是一個(gè)新的空節(jié)點(diǎn),謂詞相當(dāng)于列名,客體對應(yīng)于單元中的值。新的空節(jié)點(diǎn)也可以有一 個(gè)rdf:type類型的屬性,它的值對應(yīng)于表名。一些簡單事實(shí)表達(dá)了兩個(gè)事物之間的關(guān)系。這樣的事實(shí)可以用一個(gè)RDF三元組表示,其中 用謂詞命名事物的關(guān)系,主體和客體指代兩個(gè)事物。類似的事實(shí)表達(dá)可能在關(guān)系數(shù)據(jù)庫中用 表中的一行表示。該表具有兩列,相對應(yīng)著RDF三元組中的主體和客體。表名對應(yīng)于RDF 三元組中的謂詞。更多的類似表示可能是一階邏輯中

22、的一個(gè)二元謂詞。關(guān)系數(shù)據(jù)庫允許一個(gè)表有任意多個(gè)列,表中表示信息的一行對應(yīng)于一階邏輯中的有任意元的 謂詞。這樣的行,或者謂詞,為了便于表達(dá)必須分解為RDF三元組。一個(gè)簡單分解的形式 引入一個(gè)新的對應(yīng)于行的空節(jié)點(diǎn),而且為行中的每個(gè)單元引入一個(gè)新三元組。每個(gè)三元組的 主體是一個(gè)新的空節(jié)點(diǎn),謂詞相當(dāng)于列名,客體對應(yīng)于單元中的值。新的空節(jié)點(diǎn)也可以有一 個(gè)rdf:type類型的屬性,它的值對應(yīng)于表名。該信息可能對應(yīng)于表“STAFFADDRESSES”中的一行,STAFFID是表的主鍵,STREET, STATE, CITY和POSTALCODE是其他的列。因而,用RDF表示更復(fù)雜的事實(shí),需要用 簡單的二元

23、關(guān)系中的“合取”(邏輯AND)。RDF不支持“取非”(NOT)或“析取”(OR)的 表示。RDF通過使用可擴(kuò)展的基于URI的詞匯集,它提供了表達(dá)任意主體的事實(shí)的能力: 如對特定的具名事物的具名屬性的斷言。一個(gè)URI可以為任意可以命名的事物而構(gòu)造,所 以RDF事實(shí)可以是關(guān)于任何事物的。蘊(yùn)涵:RDF中關(guān)于含義和推理的概念的基礎(chǔ)是形式化的”蘊(yùn)涵”概念。簡單的說,一個(gè)RDF表達(dá)式 A蘊(yùn)涵另一個(gè)RDF表達(dá)式B,如果在世界上任何一個(gè)可能的使A為真的事物安排也使B為 真。在這個(gè)基礎(chǔ)上,如果假定或者證明A為真,則可以推斷出B為真。RDF詞匯集URI和名字空間(標(biāo)準(zhǔn))RDF用URI引用來表示資源和屬性。有幾個(gè)U

24、RI引用在RDF中有特定的含義。明確說來, 由以下字符串起始的URIref是由RDF規(guī)范定義的: HYPERLINK http:/www.w3.Org/1999/02/22-rdf-syntax-ns%23 http:/www.w3.Org/1999/02/22-rdf-syntax-ns# (通常關(guān)聯(lián)的名字空間前綴是 rdf:)用于RDF/XML序列化時(shí),這個(gè)URI前綴對應(yīng)著關(guān)聯(lián)到RDF詞匯集術(shù)語的XML名字空間 的名字XML-NS (http:/www.w3.Org/TR/rdf-concepts/#ref-namespaces)。備注: 這個(gè)命名空間的名字和用于以前的RDF推薦標(biāo)準(zhǔn)RDF

25、-MS (http:/www.w3.Org/TR/rdf-concepts/#ref-rdf-ms)的名字一樣。數(shù)據(jù)類型(標(biāo)準(zhǔn))RDF中所用的數(shù)據(jù)類型抽象定義同XML Schema第二部分:“數(shù)據(jù)類型” XML-SCHEMA2 (http:/www.w3.Org/TR/rdf-concepts/#ref-xml-schema2)所用的抽象定義相同。數(shù)據(jù)類型由一個(gè)詞法空間,一個(gè)值空間和一個(gè)“詞法-到-值”的映射組成。數(shù)據(jù)類型的“詞法空間”是一個(gè) UnicodeUNICODE ( HYPERLINK http:/www.w3.Org/TR/rdf-concepts/%23ref-unicode)%

26、ef%bc%bd%e7%9a%84%e5%ad%97%e7%ac%a6%e4%b8%b2%e9%9b%86%e5%90%88%e3%80%82 http:/www.w3.Org/TR/rdf-concepts/#ref-unicode)的字符串集合。數(shù)據(jù)類型的“詞法-到-值”的映射是一個(gè)序偶對集合,序偶對的首元素屬于“詞法空間”, 序偶對的第二個(gè)元素屬于“值空間”:詞法空間的每個(gè)成員都確切地配對(映射)到一個(gè)值空間的成員。值空間的每個(gè)成員都可以配對到詞法空間(那個(gè)值的詞法表示)的任意數(shù)量的成員(包括0 個(gè)成員)。一個(gè)數(shù)據(jù)類型由一個(gè)或者多個(gè)URI引用標(biāo)識。即使沒有用XML Schema的術(shù)語定義

27、,RDF可以使用任何數(shù)據(jù)類型的定義,只要這個(gè)定義 遵從這個(gè)抽象定義。某些XML Schema中的內(nèi)置數(shù)據(jù)類型不適合在RDF中采用。例如,QName ( HYPERLINK /TR/2001/REC-xmlschema-2-20010502/%23QName)%e6%95%b0%e6%8d%ae%e7%b1%bb%e5%9e%8b%e5%9c%a8%e6%98%a0%e5%b0%84%e8%bf%87%e7%a8%8b%e4%b8%ad%ef%bc%8c /TR/2001/REC-xmlschema-2-20010502/#QName)數(shù)據(jù)類型在映射過程中, 需要一個(gè)領(lǐng)域內(nèi)命名空間的聲明,因此不

28、推薦在RDF中使用。RDF-SEMANTICS ( HYPERLINK /TR/rdf-concepts/%23ref-rdf-semantics)%ef%bc%bd%e6%96%87%e6%a1%a3%e4%b8%ad%e6%9c%89%e5%85%b3%e4%ba%8e /TR/rdf-concepts/#ref-rdf-semantics)文檔中有關(guān)于 XML Schema 內(nèi)置數(shù)據(jù) 類型的更詳細(xì)討論( HYPERLINK /TR/2004/REC-rdf-mt-20040210/%23dtype_interp)%e3%80%82 /TR/2004/REC-rdf-mt-20040210

29、/#dtype_interp)。備注:當(dāng)一個(gè)數(shù)據(jù)類型用XML Schema定義:所有值都對應(yīng)一些詞法形式,要么是使用數(shù)據(jù)類型的詞法-到-值映射,要么它便是一種使用 關(guān)聯(lián)到一種數(shù)據(jù)類型元素的聯(lián)合數(shù)據(jù)類型。XML Schema保留了數(shù)據(jù)類型的刻面(facet),被XML Schema機(jī)制用來控制詞空間和值空間; 但是,RDF沒有定義一個(gè)標(biāo)準(zhǔn)的機(jī)制來訪問這些刻面(facet)0在XML-SCHEMA1 ( HYPERLINK /TR/rdf-concepts/%23ref-xml-schema1)%ef%bc%bd%e4%b8%ad%ef%bc%8c%e7%a9%ba%e7%99%bd%e8%8c%

30、83%e5%bc%8f%e5%8c%96 /TR/rdf-concepts/#ref-xml-schema1)中,空白范式化 (whitespacenormalization)( HYPERLINK /TR/2001/REC-xmlschema-1-20010502/%23section-White-Space-Normalization-during-Validation)%e5%8f%91 /TR/2001/REC-xmlschema-1-20010502/#section-White-Space-Normalization- during-Validation)發(fā) 生 在 根 據(jù) 空 白

31、 刻 面(whiteSpace facet) ( HYPERLINK /TR/2001/REC-xmlschema-2-20010502/%23rf-whiteSpace)%e5%80%bc%e5%9c%b0%e9%aa%8c%e8%af%81 /TR/2001/REC-xmlschema-2-20010502/#rf-whiteSpace)值地驗(yàn)證 ( HYPERLINK /TR/2001/REC-xmlschema-1-20010502/%23key-vn)%e8%bf%87%e7%a8%8b%e4%b8%ad%e3%80%82%e2%80%9c%e8%af%8d%e6%b3%95-%e5

32、%88%b0-%e5%80%bc%e2%80%9d%e7%9a%84%e6%98%a0 /TR/2001/REC-xmlschema-1-20010502/#key-vn)過程中?!霸~法-到-值”的映 射在這之后RDF數(shù)據(jù)類型化中采用,故RDF數(shù)據(jù)類型化不受空白刻面的影響。抽象語法(標(biāo)準(zhǔn))RDF的抽象語法是一個(gè)三元組的集合,稱為RDF圖。RDF圖之間的等價(jià)性。等價(jià)性的定義在RDF測試用例RDF-TESTS ( HYPERLINK /TR/rdf-concepts/%23ref-rdf-tests)%ef%bc%bd%e8%a7%84%e8%8c%83%e4%b8%ad%e6%98%af%e5%

33、bf%85%e9%9c%80%e7%9a%84%e3%80%82 /TR/rdf-concepts/#ref-rdf-tests)規(guī)范中是必需的。實(shí)現(xiàn)注意:這個(gè)抽象語法是定義形式語義的語法基礎(chǔ)。實(shí)現(xiàn)者可以隨意選擇任意表示 RDF圖的其他等價(jià)形式。作為一個(gè)例子:在RDF圖中,數(shù)據(jù)類型為rdf:XMLLiteral的類型 文字可以用非規(guī)范的格式表示,也可以用在比較這兩個(gè)文字過程中規(guī)范化后的格式。在這個(gè) 例子中,這個(gè)比較可以在語法結(jié)構(gòu)中進(jìn)行,也可以在他們在論域中的指派中進(jìn)行。6.1 RDF三元組一個(gè)RDF三元組(triple)包含了三個(gè)部分:主體,它是一個(gè) RDF URI 引用( HYPERLINK

34、 /TR/rdf-concepts/%23dfn-URI-reference /TR/rdf-concepts/#dfn-URI-reference) 或一個(gè)空節(jié)點(diǎn)( HYPERLINK /TR/rdf-concepts/%23dfn-blank-node /TR/rdf-concepts/#dfn-blank-node)謂詞,它是一個(gè) RDF URI 引用( HYPERLINK /TR/rdf-concepts/%23dfn-URI-reference /TR/rdf-concepts/#dfn-URI-reference) 客體,它是一個(gè) RDF URI 引用( HYPERLINK /TR

35、/rdf-concepts/%23dfn-URI-reference)%ef%bc%8c /TR/rdf-concepts/#dfn-URI-reference), 一 個(gè) 文 字 ( HYPERLINK /TR/rdf-concepts/%23dfn-literal /TR/rdf-concepts/#dfn-literal) 或 一 個(gè) 空 節(jié) 點(diǎn) ( HYPERLINK /TR/rdf-concepts/%23dfn-blank-node /TR/rdf-concepts/#dfn-blank-node)一個(gè)RDF三元組通常以主體,謂詞,客體的順序書寫。謂詞也被稱為三元組中的屬性。6.2

36、 RDF 圖一個(gè)RDF圖(graph)是一個(gè)RDF三元組的集合。一個(gè)RDF圖的節(jié)點(diǎn) 集合是圖中的三元組的主體和客體的集合。6.3圖的等價(jià)性兩個(gè)RDF圖G和G是等價(jià)的,如果在兩個(gè)圖的節(jié)點(diǎn)集合之間存在一個(gè)一一對應(yīng) (bijection)M,使得:M把空節(jié)點(diǎn)映射為空節(jié)點(diǎn)。對任意 G 中 節(jié)點(diǎn)的 RDF 文字( HYPERLINK /TR/rdf-concepts/%23dfn-literal)lit%ef%bc%8c /TR/rdf-concepts/#dfn-literal)lit, M(lit)=lit。對任意 G 中節(jié)點(diǎn)的 RDF URI 引用( HYPERLINK /TR/rdf-conce

37、pts/%23dfn-URI-reference /TR/rdf-concepts/#dfn-URI-reference) uri, M(uri)=uri。三元組(s, p, o )在G中,當(dāng)且僅當(dāng)三元組(M(s), p, M(o)在G中。在這個(gè)定義下,映射M顯示了 G中的每個(gè)空節(jié)點(diǎn)是怎樣可以被G的新空節(jié)點(diǎn)替換的。RDF URI 引用一個(gè)RDF圖中的URI引用(一個(gè)RDF URI引用)是一個(gè)滿足下列條件的Unicode字符 串UNICODE ( HYPERLINK /TR/rdf-concepts/%23ref-unicode)%ef%bc%bd%ef%bc%8c%e6%bb%a1%e8%b6

38、%b3%ef%bc%9a /TR/rdf-concepts/#ref-unicode),滿足:不包含任何控制字符(#x00 - #x1F, #x7F-#x9F)將生成一個(gè)有效的URI字符序列。在采用下列編碼方法時(shí),它是一個(gè)具有可選片段標(biāo) 識符的絕對URI。該編碼方法為:將Unicode字符串編碼為UTF-8,給出一個(gè)由八位字節(jié)構(gòu)成的序列。對于無對應(yīng)US-ASCII字符的八位字節(jié),用對它們進(jìn)行轉(zhuǎn)義處理。必須用轉(zhuǎn)義的非法八位字節(jié)包含所有那些無對應(yīng)US-ASCII字符的字符、以及在URI ( HYPERLINK /TR/rdf-concepts/%23ref-uris)%ef%bc%bd%e7%9a

39、%84 /TR/rdf-concepts/#ref-uris)的 2.4 節(jié)中列出的禁用字符,但數(shù)字符(#)、百 分符(%)和方括號字符不在此列(雖然它們出現(xiàn)在禁用字符列表中,但在RFC-2732( HYPERLINK /TR/rdf-concepts/%23ref-rfc-2732)%ef%bc%bd%e4%b8%ad%e8%a2%ab%e9%87%8d%e6%96%b0%e5%85%81%e8%ae%b8%e5%87%ba%e7%8e%b0)%e3%80%82 /TR/rdf-concepts/#ref-rfc-2732)中被重新允許出現(xiàn))。對于非法的八位字節(jié),必須對它們進(jìn)行轉(zhuǎn)義處理(也就

40、是轉(zhuǎn)換為%HH形式,其中HH 為八位字節(jié)所對應(yīng)的2位十六進(jìn)制數(shù)字)。兩個(gè)RDF URI引用是等價(jià)的,當(dāng)且僅當(dāng)它們的Unicode字符串中的字符個(gè)個(gè)相等。注意: RDF URI 引用與 XML Schema 數(shù)據(jù)類型XML-SCHEMA2 ( HYPERLINK /TR/rdf-concepts/%23ref-xml-schema2)%ef%bc%bd%e4%b8%ad%e5%ae%9a%e4%b9%89%e7%9a%84 /TR/rdf-concepts/#ref-xml-schema2)中定義的 anyURI 是相容的,因?yàn)?RDF URI引用被限定為絕對URI引用而不是相對URI引用。注意:RDF URI引用與XML Namespac

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論