「IS」「IL」和「IEXT」在RDF語義規範中涉及什麼？

Question

這些術語用於http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#interp的「簡單解釋的定義」表中。我對他們的意義有點不清楚。

在這一點上，我認爲他們的意思，中間語言，

我對這些縮寫的意思有點不清楚。我猜他們是指中級語言，中級系統和中級擴展（或其中的任何一種，用「解釋」代替「中級」）。這些信息在文檔中並不明確，我沒有足夠的上下文來確切地知道所提到的內容。

編輯我複製它下面使用的部分：

Definition of a simple interpretation. 

A simple interpretation I of a vocabulary V is defined by: 

1. A non-empty set IR of resources, called the domain or universe of I. 

2. A set IP, called the set of properties of I. 

3. A mapping IEXT from IP into the powerset of IR x IR i.e. the set 
    of sets of pairs <x,y> with x and y in IR . 

4. A mapping IS from URI references in V into (IR union IP) 

5. A mapping IL from typed literals in V into IR. 

6. A distinguished subset LV of IR, called the set of literal values, 
    which contains all the plain literals in V 

Answer 1

這是一個有點高深莫測，除非你已經習慣了形式邏輯。

解釋是對某些人工語言（在本例中爲RDF）中的一組語句的特定理解。這聽起來很大，但它通常是如此明顯，你甚至不考慮它。例如:a :p :b .可能有一個解釋':a是安妮，:b是鮑勃，而:p是生命的下一個'。用術語和事物之間的映射武裝起來，你可以解釋:a :p :b。許多其他解釋是可能的。

RDF簡單解釋就是這樣一種映射（實際上是一組映射）。他們每個人都有簡潔的標籤。

1. IR（釋義資源），我們可以談論的所有事情（安妮，鮑勃，雲等）的集合。
2. IP（釋義屬性），我們可以談論的所有屬性（愛，生活，隔壁等）的集合。
3. IEXT（解釋擴展）。解釋屬性的分機。非正式地，屬性P的擴展是屬性持有的所有配對。所以即使你不明白'blarg'，你可以通過在:blarg的擴展名中尋找<:a, :b>來確定是否:a :blarg :b。給出的定義是這樣的形式化版本：將屬性映射到所有資源對的集合中。
4. IS（釋義科目）。將URI分配給可能出現在主題位置（資源和屬性）中的所有內容。 （V是語言的詞彙 - 術語）。
5. IL（釋義文字）。地圖將文字術語輸入到事物中。

Answer 2

的定義在你粘貼引用的文字說明。例如「5.從V中的類型文字到IR的映射IL」。定義IL。

IL定義爲數學映射函數。地圖（從）的關鍵：在五，文字地圖（至）的值：IR

等了IS和IEXT