这些术语在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
这有点难以理解,除非你习惯了形式逻辑。
解释是对某些人工语言(在本例中是RDF)中的一组语句的特定理解。这听起来很伟大,但它通常是如此明显,你甚至不去想它。例如,:a :p :b .
可能有":a
是Anne, :b
是Bob, :p
是lives-next-to"的解释。有了术语和事物之间的映射,你就可以解释:a :p :b
了。
RDF简单解释就是这样一种映射(实际上是一组映射)。它们都有简洁的标签。
-
IR
(口译资源),一组我们可以谈论的所有事情(安妮,鲍勃,云等)。 -
IP
(解释属性),一组我们可以谈论的属性(爱,隔壁的生活等)。 -
IEXT
(口译扩展)。解释属性的扩展名是什么。非正式地,属性P
的扩展是该属性持有的所有事物对。因此,即使您不理解"blarg",您也可以通过在:blarg
的扩展中查找<:a, :b>
来确定:a :blarg :b
。给出的定义是这个的形式化版本:将属性映射到所有资源对的集合中。 -
IS
(口译科目)。将uri分配给可能出现在主题位置的所有内容(资源和属性)。(V
是语言的词汇表——术语)。 -
IL
(解释文字)。将键入的文字术语映射到事物。
在您粘贴的引用文本中给出了定义。如。"5。从V的类型化文字到IR的映射IL "定义了IL。
IL定义为一个数学映射函数。映射(from)的键:v中的字面值。映射(to)的值:IR
对于IS和IEXT