目录
摘要 本文档状态
文档集合
1. 引言2. Turtle
语言
2.1 简单
三元组2.2
谓词
列表2.3 对象
列表2.4 版本
声明2.5 IRIs2.6 RDF 字面量
2.6.1
带引号的
字面量2.6.2
数字2.6.3
布尔值
2.7 RDF 空白节点2.8
没有空白节点标识符的
空白
节点嵌套2.9
集合2.10 三元组
项2.11
具体化
三元组
2.11.1
注解语法
3. 示例4. Turtle 与
SPARQL 的比较5. 一致性
5.1 媒体类型和
内容
编码
6. Turtle 语法
6.1 空白
字符6.2
注释6.3 IRI
引用6.4 转义
序列6.5
语法6.6
选定的终结符字面量字符串
7. 解析
7.1 解析器
状态7.2 RDF 项构造器7.3
RDF 三元组构造器
7.3.1
具体化器 7.3.2
具体化
三元组 7.3.3
注解 7.3.4
注解块 7.3.5
属性
列表 7.3.6
集合
7.4
解析
示例
A. 在 HTML
文档中嵌入 Turtle
A.1 XHTMLA.2 解析 HTML
中的
Turtle
B. 隐私
考量C. 安全
考量D. 互联网媒体类型
和
文件扩展名E. 致谢
E.1
RDF 1.1 致谢E.2
RDF 1.2 致谢
F. RDF 1.1 与 RDF 1.2 之间的变更G. 索引
G.1 由本规范
定义的
术语G.2
通过引用
定义的术语
H. 参考文献
H.1
规范性
参考文献H.2
资料性
参考文献
本节是非规范性的。
Turtle 文档 允许以紧凑的文本形式写出一个 RDF 图RDF 图三元组 组成，
三元组由主体、谓词和对象构成。
注释可以跟随一个不属于
其他词法记号的 #
最简单的三元组语句是
(主体 、
谓词
和
对象 )
项的序列，
形成一个 RDF 三元组.空格制表符LFCR语法 中指出其具有特殊意义。
<http://example.org/#spiderman>
<http://www.perceive.net/schemas/relationship/enemyOf>
<http://example.org/#green-goblin> .
同一主体通常会被许多谓词引用。
predicateObjectList;RDF 三元组，
每个谓词
和对象被分配到一个三元组。
因此，;RDF
项
这两个示例是书写关于 Spiderman 的三元组的等价方式。
<http://example.org/#spiderman> <http://www.perceive.net/schemas/relationship/enemyOf> <http://example.org/#green-goblin> ;
<http://xmlns.com/foaf/0.1/name> "Spiderman" .
<http://example.org/#spiderman> <http://www.perceive.net/schemas/relationship/enemyOf> <http://example.org/#green-goblin> .
<http://example.org/#spiderman> <http://xmlns.com/foaf/0.1/name> "Spiderman" .
与谓词一样，相同的主体和谓词也常常会与不同对象重复出现。
objectList,RDF 三元组，
每个对象被分配到一个三元组。
因此，,RDF
项
这两个示例是用两种语言书写 Spiderman 名字的等价方式。
<http://example.org/#spiderman> <http://xmlns.com/foaf/0.1/name> "Spiderman", "Человек-паук"@ru .
<http://example.org/#spiderman> <http://xmlns.com/foaf/0.1/name> "Spiderman" .
<http://example.org/#spiderman> <http://xmlns.com/foaf/0.1/name> "Человек-паук"@ru .
RDF Concepts 中定义了四种 RDF 项IRI
(国际化
资源标识符)、
字面量 、
空白
节点 ，以及
三元组
项 ；
Turtle 为每一种都提供了多种书写方式。
Turtle 语言自其起源以来一直在演进，RDF
1.2
增加了新语法。
RDF 1.2 Turtle 引入了
VERSION@versionversion 媒体类型参数 。
当使用诸如
初始文本方向
或三元组
项 等新特性序列化 Turtle 时，
作者可以使用这些指令声明对新语法形式的使用。
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:a :name "Alice" ~ :t {| :statedBy :bob ; :recorded "2021-07-07"^^xsd:date |} .
也可以使用旧式指令
（注意末尾有一个“.
@version "1.2" .
@prefix : <http://example.com/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:a :name "Alice" ~ :t {| :statedBy :bob ; :recorded "2021-07-07"^^xsd:date |} .
通过 HTTP 提供内容时，服务器可以使用可选的 version
媒体类型参数 来声明版本：
示例 9 ：
声明 Turtle 版本 1.2 的 HTTP 响应
HTTP/1.1 200 OK
Content-Type : text/turtle; version=1.2
在使用 RDF 1.2 特定特性时，例如
初始文本方向 ，
应在文档开头使用
VERSION@versionRDF 版本。
这使不支持这些特性的解析器能够尽早检测到
这些特性的存在，并有可能
通知用户，使其有机会停止作业，
或以其他方式处理部分输入数据
将无法按预期处理这一事实。
一个 Turtle 文档中可以出现多个版本指令。
该指令适用于文档中跟随该指令的部分，
直到遇到另一个指令或到达文档末尾。
在没有当前版本指令时，会考虑作为 媒体类型 一部分指定的任何版本。
如果没有任何版本信息，合理的默认值是 "1.1"，以最大化
与 Turtle 前一版本 [TURTLE
IRI 可以
写为
已解析
IRI、
相对 IRI 引用 ，
或前缀名 。
相对和已解析 IRI 以 <>数字转义序列 （如下所述）。
例如，<http://example.org/#green-goblin>。
像
<#green-goblin>
这样的相对 IRI 引用
会相对于当前基 IRI 解析。
可以使用 @base 或 BASE6.3 IRI
引用
在 Turtle 三元组的谓词位置中的记号 ahttp://www.w3.org/1999/02/22-rdf-syntax-ns#type。
前缀名 :@prefix 或 PREFIX@prefix 或 PREFIX
注
Turtle 语言最初只允许包含
@PREFIXBASEVERSIONSPARQL 的语法保持一致。
原有指令 @prefix、@base 或 @version 也可以
使用。
使用 PREFIXBASEVERSIONSPARQL
查询中。
使用前缀名书写 http://www.perceive.net/schemas/relationship/enemyOf：
为词汇表 IRI
http://www.perceive.net/schemas/relationship/
定义一个前缀标签 somePrefix
然后写作 somePrefix:enemyOf，它等价于书写
<http://www.perceive.net/schemas/relationship/enemyOf>
这可以使用用于
前缀声明的 SPARQL 风格语法来书写：
PREFIX somePrefix: <http://www.perceive.net/schemas/relationship/>
<http://example.org/#green-goblin> somePrefix:enemyOf <http://example.org/#spiderman> .
或使用原始的 Turtle 前缀声明语法：
@prefix somePrefix: <http://www.perceive.net/schemas/relationship/> .
<http://example.org/#green-goblin> somePrefix:enemyOf <http://example.org/#spiderman> .
注
前缀名 是 XML QName 的超集。
它们的区别在于，前缀名的局部部分可以包含：
前导数字，例如 leg:3032571 或 isbn13:9780136019701
非前导冒号，例如 og:video:height
保留
字符转义序列 ，例如 wgs:lat\-long
以下 Turtle 文档包含了在 Turtle 中书写 IRI 的所有不同方式的示例。
# A triple with all resolved IRIs
<http://one.example/subject1> <http://one.example/predicate1> <http://one.example/object1> .
@base <http://one.example/> .
<subject2> <predicate2> <object2> . # relative IRI references, e.g., http://one.example/subject2
BASE <http://one.example/>
<subject2> <predicate2> <object2> . # relative IRI references, e.g., http://one.example/subject2
@prefix p: <http://two.example/> .
p:subject3 p:predicate3 p:object3 . # prefixed name, e.g., http://two.example/subject3
PREFIX p: <http://two.example/>
p:subject3 p:predicate3 p:object3 . # prefixed name, e.g., http://two.example/subject3
@prefix p: <path/> . # prefix p: now stands for http://one.example/path/
p:subject4 p:predicate4 p:object4 . # prefixed name, e.g., http://one.example/path/subject4
PrEfIx : <http://another.example/> # empty prefix
:subject5 :predicate5 :object5 . # prefixed name, e.g., http://another.example/subject5
:subject6 a :subject7 . # same as :subject6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :subject7 .
<http://伝言.example/?user=أ&channel=R%26D> a :subject8 . # a multi-script subject IRI .
字面量
用于标识字符串、数字、日期等值。
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
<http://example.org/#green-goblin> foaf:name "Green Goblin" .
<http://example.org/#spiderman> foaf:name "Spiderman" .
带引号的字面量（语法产生式
RDFLiteral语言标签
（可能包含初始文本方向 ）、
一个数据类型 IRI ，或两者都没有。
词法形式的表示由一个初始定界符
（例如
"'"""'''数字转义序列
和/或字符串转义序列 ；以及一个与
初始定界符匹配的最终定界符组成。
相应的 RDF 词法
形式
如果存在，语言标签 前面会有
一个 @初始文本方向 ，
它与语言标签由 --
如果没有语言标签，则可以有一个数据类型 IRI ，
前面由 ^^已解析 IRI 、
相对 IRI 引用
或前缀名 来书写。
如果既没有数据类型 IRI 也没有语言标签，
数据类型为 xsd:string。
\
由 ''LFCR
由 ""LFCR
由 '''
由 """
VERSION "1.2"
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX show: <http://example.org/vocab/show/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
show:218 rdfs:label "That Seventies Show"^^xsd:string . # literal with XML Schema string datatype
show:218 rdfs:label "That Seventies Show"^^<http://www.w3.org/2001/XMLSchema#string> . # same as above
show:218 rdfs:label "That Seventies Show" . # same again
show:218 show:localName "That Seventies Show"@en . # literal with a language tag
show:218 show:localName "HTML היא שפת סימון."@he--rtl . # literal with a language tag and initial text direction
show:218 show:localName "That Seventies Show"@en-us--ltr . # literal with a language tag, region subtag, and initial text direction
show:218 show:localName 'Cette Série des Années Soixante-dix'@fr . # literal delimited by single quote
show:218 show:localName "Cette Série des Années Septante"@fr-be . # literal with a region subtag
show:218 show:blurb '''This is a multi-line
literal with many quotes (""""")
and up to two sequential apostrophes ('').''' . # literal with embedded new lines and quotes
数字可以像其他字面量一样以词法形式和数据类型来书写
（例如 "-5.0"^^xsd:decimal）。
Turtle 有一种简写语法，用于书写整数值、
任意精度十进制值，以及双精度浮点值。
数据类型
缩写形式
词法形式
描述
xsd:integer -5"-5"^^xsd:integer整数值可以写作一个可选符号和一串数字。
整数匹配正则表达式“[+-]?[0-9]+”。
xsd:decimal -5.0"-5.0"^^xsd:decimal任意精度十进制数可以写作一个可选符号、
零个或多个数字、
一个小数点，以及一个或多个数字。
十进制数匹配正则表达式“[+-]?[0-9]*\.[0-9]+”。
xsd:double 4.2E9"4.2E9"^^xsd:double双精度浮点值可以写作
一个可选带符号的尾数，带有可选小数点，
后跟字母 eE[+-]?[0-9]+”，
尾数匹配这些正则表达式之一：
“[+-]?[0-9]+\.[0-9]+”、
“[+-]?\.[0-9]+”，
或“[+-]?[0-9]”。
PREFIX : <http://example.org/elements/>
<http://en.wikipedia.org/wiki/Helium>
:atomicNumber 2 ; # xsd:integer
:atomicMass 4.002602 ; # xsd:decimal
:specificGravity 1.663E-4 . # xsd:double
布尔值可以写作 true
或 false（区分大小写），
并表示数据类型为 xsd:boolean
的 RDF 字面量
[XMLSCHEMA11-2
PREFIX : <http://example.org/stats/>
<http://somecountry.example/census2007>
:isLandlocked false . # xsd:boolean
Turtle 中的 RDF 空白
节点_:空白节点标识符 ，该标识符是一串
字符。
标识符中的字符基于
PN_CHARS_BASE
字符 _09空白节点标识符 中的任何位置。
字符 .
字符
-·‿⁀U+0300
到 U+036F）
允许出现在除第一个字符以外的任何位置。
文档中的每个唯一空白节点标识符 都会分配一个新的 RDF 空白
节点 。
重复使用同一个空白节点标识符 会标识同一个空白
节点。
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
_:alice foaf:knows _:bob .
_:bob foaf:knows _:alice .
在 Turtle 中，当匹配
blankNodePropertyListANONRDF 空白
节点 。
这两者都可以出现在三元组的
subjectobjectRDF 空白
节点 。
这个空白节点也充当匹配
嵌入在 blankNodePropertyList 中的 predicateObjectList谓词列表 中描述。
空白节点也会为下面描述的集合
分配。
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
# Someone knows someone else, who has the name "Bob".
[] foaf:knows [ foaf:name "Bob" ] .
Turtle 语法允许
blankNodePropertyList[空白节点 ，该节点在
]谓词对象列表 的当前
主体。
在 blankNodePropertyListpredicateObjectList
缩写形式：
对应的简单三元组：
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
[ foaf:name "Alice" ] foaf:knows [
foaf:name "Bob" ;
foaf:knows [
foaf:name "Eve" ] ;
foaf:mbox <mailto:bob@example.com> ] .
_:a <http://xmlns.com/foaf/0.1/name> "Alice" .
_:a <http://xmlns.com/foaf/0.1/knows> _:b .
_:b <http://xmlns.com/foaf/0.1/name> "Bob" .
_:b <http://xmlns.com/foaf/0.1/knows> _:c .
_:c <http://xmlns.com/foaf/0.1/name> "Eve" .
_:b <http://xmlns.com/foaf/0.1/mbox> <mailto:bob@example.com> .
RDF 提供了一种用于 RDF 节点列表的集合 [RDF12-SEMANTICS RDF
项()rdf:first/rdf:rest
列表结构，其中 rdf:first
语句的对象序列就是由 ()
(…) 语法必须 出现在三元组的
subjectobject空白
节点 是包含它的三元组的主体或对象。
PREFIX : <http://example.org/foo/>
# the object of this triple is the RDF collection blank node
:subject :predicate ( :a :b :c ) .
# an empty collection value - rdf:nil
:subject :predicate2 () .
三元组
项
可以是一个
RDF 三元组对象 。
三元组
项
表示为一个 tripleTermttSubjectpredicatettObject<<()>>三元组项
可以嵌套。
VERSION "1.2"
PREFIX : <http://www.example.org/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
_:e38 :familyName "Smith" .
_:anno rdf:reifies <<( _:e38 :jobTitle "Designer" )>> .
_:anno :accordingTo _:e22 .
在 RDF 中，
三元组
项 很少被直接使用，
因为它们通常被限制为只能使用
rdf:reifies 谓词
作为一个三元组 的对象 。
这样的三元组称为具体化三元组 reifiedTriple具体化三元组 。
reifiedTriple具体化三元组 的语法糖，
它定义了一个
标识符（具体化器 三元组项 之间的特定关系。
该标识符成为一种间接引用
三元组项 的方式，该三元组项
可能会、也可能不会在与此输入文档对应的图中被断言。
注
RDF 1.2 中的具体化是一个
与
最初在 RDF
Semantics具体化词汇表 不同的概念。
虽然这两个术语都描述了使用组成部分表示一个 RDF
三元组，
但 RDF 1.2 使用该术语来表示使用
rdf:reifies 谓词标识一个三元组
项 。
具体化三元组 使用
reifiedTriple<<rtSubjectpredicatertObjectreifierreifier~iriBlankNode>><< :subject :predicate :object ~ :IRIREF >>。
如果没有出现具体化器，
或者一个 reifieririBlankNodeRDF 空白
节点<< :subject :predicate :object >>
或 << :subject :predicate :object ~ >> 所示。
注
reifiedTriples<< :subject1 :predicate1 << :subject2 :predicate2 :object2 >> ~:IRIREF1 >>
或
<< :subject4 :predicate4 << :subject3 :predicate3 :object3 ~:IRIREF3 >> >>。
如果一个 reifiedTripleIRI
或 空白
节点 标识，
则会分配一个新的 RDF 空白
节点
并用它标识这种关系。
VERSION "1.2"
PREFIX : <http://www.example.org/>
:employee38 :familyName "Smith" .
<< :employee38 :jobTitle "Assistant Designer" >> :accordingTo :employee22 .
PREFIX : <http://www.example.org/>
:employee38 :familyName "Smith" .
<< :employee38 :jobTitle "Assistant Designer" ~ _:id >> :accordingTo :employee22 .
例如，上述示例的语法糖等价于：
PREFIX : <http://www.example.org/>
:employee38 :familyName "Smith" .
_:id rdf:reifies <<( :employee38 :jobTitle "Assistant Designer" )>> .
_:id :accordingTo :employee22 .
在声明一个前缀以便可以缩写 IRI 之后，
此示例中的第一个三元组断言 employee38 的 familyName 为
"Smith"。
注意，该图并未断言 employee38 的 jobTitle 为
"Assistant
Designer"；
它表示 employee22 使用一个
reifiedTripleemployee38 的 jobTitle 为 'Assistant Designer'”
本身并不是该图的成员，这与上面的“employee38 的 familyName 为 'Smith'”不同；
相反，它被称为一个具体化三元组 。
reifiedTriplerdf:reifies 谓词将
具体化器 关联到
tripleTerm
Turtle 还定义了一种注解
语法 ，
用于同时具体化并断言一个三元组 ，
从而提供一种方便的快捷方式。
注解可用于通过显式或隐式标识符
同时断言一个三元组，
并使该三元组成为
进一步三元组的
主体 或
对象 。
如果显式标识，则同一个具体化器
之后可以用作
其他
三元组和/或三元组项 的
主体 或
对象 。
与 reifiedTriple具体化器 ，写作
一个 IRI
或一个
空白
节点 ，
前面带有一个波浪号 (~三元组
项 。
然而，虽然
reifiedTriple具体化器 ，注解语法可以包含
任意数量的具体化器 。每个具体化器
都会导致产生一个对应的
具体化三元组。
具体化器 后面可以跟一个注解块。
如果一个具体化器 后面没有跟注解块，则会
类似于没有附加注解的
reifiedTriple具体化器 ，
则会分配一个新的 RDF 空白节点来充当
被具体化的
三元组
项 的具体化器 。
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:alice :name "Alice" ~ :t {| :statedBy :bob ; :recorded "2021-07-07"^^xsd:date |} .
与以下三元组集合相同：
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:alice :name "Alice" .
<< :alice :name "Alice" ~ :t >> :statedBy :bob ;
:recorded "2021-07-07"^^xsd:date .
完全展开为使用三元组项
而不是具体化器，会得到如下内容：
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:alice :name "Alice" .
:t rdf:reifies <<( :alice :name "Alice" )>> .
:t :statedBy :bob .
:t :recorded "2021-07-07"^^xsd:date .
在前一个示例中，图包含四个
三元组 。
具体化器 由 :t 标识。
注解块也可以在没有显式
具体化器 的情况下使用。在这种情况下，会分配一个新的 RDF 空白节点，
作为
三元组
项 的具体化器 。
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:alice :name "Alice" {| :statedBy :bob ; :recorded "2021-07-07"^^xsd:date |} .
完全展开此示例会得到以下三元组，其中
_:b0 表示一个新的 RDF 空白
节点：
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:alice :name "Alice" .
_:b0 rdf:reifies <<( :alice :name "Alice" )>> .
_:b0 :statedBy :bob .
_:b0 :recorded "2021-07-07"^^xsd:date .
annotation具体化器 ，
则每个块都会关联
一个新的 RDF 空白节点，该节点作为其具体化器 被分配。
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:alice :name "Alice"
{| :statedBy :alice ; :recorded "2017-02-01"^^xsd:date |}
{| :statedBy :bob ; :recorded "2021-07-07"^^xsd:date |} .
完全展开此示例会得到以下三元组，其中
_:b0 和 _:b1 表示新的 RDF
空白节点：
示例
32 ：带多个隐式
具体化器的带注解三元组
展开
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
:alice :name "Alice" .
_:b0 rdf:reifies <<( :alice :name "Alice" )>> .
_:b0 :statedBy :alice .
_:b0 :recorded "2017-02-01"^^xsd:date .
_:b1 rdf:reifies <<( :alice :name "Alice" )>> .
_:b1 :statedBy :bob .
_:b1 :recorded "2021-07-07"^^xsd:date .
注解语法也可以包含多个没有注解块的显式
具体化器 。每个这样的具体化器
都会导致产生一个对应的具体化三元组。
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
:alice :name "Alice" ~ :stmt1 ~ :stmt2 .
完全展开此示例会得到以下三元组：
示例
34 ：带多个显式
具体化器的带注解三元组展开
VERSION "1.2"
PREFIX : <http://example.com/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
:alice :name "Alice" .
:stmt1 rdf:reifies <<( :alice :name "Alice" )>> .
:stmt2 rdf:reifies <<( :alice :name "Alice" )>> .
Turtle 文档 是一个以 UTF-8 [RFC3629 RDF 字符串Unicode 标量值 ，
其范围为 U+0000 至 U+D7FF
以及 U+E000 至 U+10FFFF。
这排除了
代理代码点 ，
即 U+D800 至 U+DFFF 范围。
空白字符（产生式 WS
空白字符在 String
Turtle 文档中使用三种形式的转义：
数字转义序列 表示
一个 Unicode 代码点 的值。
数字转义序列 不得
产生位于 U+D800 至 U+DFFF
范围内的代码点值，
这是 Unicode 代理项 的范围。
其中 hex
HEX
字符串转义序列 表示一个
传统上会在字符串字面量中转义的字符：
转义序列
Unicode 代码点
\tU+0009
\bU+0008
\nU+000A
\rU+000D
\fU+000C
\"U+0022
\'U+0027
\\U+005C
保留字符转义序列 由一个
\~.-!$&'()*+,;=/?#@%_ 构成，
并表示 \
转义序列的处理方式是：取得与相关语法产生式匹配的 Unicode 代码点序列，
然后应用以下步骤。
从左到右扫描 Unicode 代码点序列，以查找
第一个匹配的转义序列。
当找到转义序列时，用与该转义序列对应的代码点
替换该转义序列。
从紧随被替换转义序列之后的代码点开始，
继续扫描该 Unicode 代码点序列。
已处理转义序列的示例
输入代码点
输出代码点
代码点数量
abc\u005Cdefabc\def7
abc\u005Ctuvabc\tuv7
\u005CA\A2
\\u005C\u005C6
\u005C\u005C\\2
\\\u005C\\2
\\\\\\2
\u005Cn\n2
注
%-encoded 序列位于
IRI 的字符范围 内，
并且在局部名称中被显式允许 。
它们表现为一个 %不会
被解码。
在 Turtle 中写作 <http://a.example/%66oo-bar>
的项指定 IRI http://a.example/%66oo-bar，
而不是 IRI http://a.example/foo-bar。
带有前缀
PREFIX ex: <http://a.example/>
而写作 ex:%66oo-bar 的项
也指定 IRI http://a.example/%66oo-bar。
此处使用的 EBNF 定义于 XML 1.0
[EBNF-NOTATION
注：
单引号中的关键字
('@base'、
'@prefix'、
'@version'、
'a'、
'true' 和
'false')
区分大小写。
双引号中的关键字
("BASE"、
"PREFIX" 和
"VERSION")
不区分大小写。
转义序列 UCHARECHAR
在对输入进行词法切分并选择语法规则时，会选择最长匹配。
当使用名称为大写的规则作为终结符时，
Turtle 语法是 LL(1) 和 LALR(1)。
进入语法的入口点是 turtleDoc。
在带符号数字中，符号和数字之间不允许有空白字符。
字符串
'@prefix@base@versionLANG_DIRprefix、
base 和 version
都不是已注册的语言子标签 。
本规范未定义后跟这些记号之一的带引号字面量
（例如 "A"@base）
是否属于 Turtle 语言。
此语法的文本版本可在此处 获得。
本文档使用一些特定的终结符字面量字符串 [EBNF-NOTATION
代码
字形
描述
U+0009HT水平制表符
U+000ALF换行符
U+000DCR回车符
U+0022"引号
U+0023#数字符号
U+0025%百分号
U+0027'撇号
U+0028(左圆括号
U+0029)右圆括号
U+002C,逗号
U+002D-连字符
U+002E.句点
U+00300数字零
U+00399数字九
U+003B:冒号
U+003B;分号
U+003C<小于号
U+003E>大于号
U+0040@at 符号
U+0045E拉丁大写字母 E
U+005B[左方括号
U+005C\反斜杠
U+005D[右方括号
U+005F_下划线
U+0061a拉丁小写字母 A
U+0065e拉丁小写字母 E
U+007C|竖线
U+007E~波浪号
U+00B7·中点
U+203F‿下连线
U+2040⁀字符连线
其他短终结符字面量字符串由特定的 Unicode 字符序列组成：
spaceU+0020"""三个连接在一起的引号字符，每个字符的代码点为 U+0022
'''三个连接在一起的撇号字符，每个字符的代码点为 U+0027
<<两个连接在一起的小于号字符，每个字符的代码点为 U+003C
>>两个连接在一起的大于号字符，每个字符的代码点为 U+003E
<<(两个连接在一起的小于号字符，每个字符的代码点为 U+003C，
后跟一个左圆括号字符，其代码点为 U+0028
)>>一个左圆括号字符，其代码点为 U+0029，
后跟两个连接在一起的大于号字符，每个字符的代码点为 U+003E
^^两个连接在一起的抑扬符字符，每个字符的代码点为 U+005E
{|{（左花括号，代码点 U+007B）后跟
|（竖线，代码点 U+007C）
|}|（竖线，代码点 U+007C）
后跟
}（右花括号，代码点 U+007D）
_:_:--两个连接在一起的 -
RDF 1.2 Concepts and Abstract Syntax 规范
[RDF12-CONCEPTS RDF 项IRI 、
字面量 、
空白
节点 ，以及
三元组
项 。
字面量由一个词法形式
和一个可选的语言标签 [BCP47 初始文本方向 ——
或者由数据类型 IRI 组成。
解析期间会使用一种额外类型 prefix，用于将字符串标识符
映射到
命名空间 IRI。
本节通过将与产生式和词法记号匹配的字符串映射到
RDF 项6.5
语法
解析 Turtle 需要包含九个项的状态：
项构造器可以创建这些值的栈，表示方式为
使用诸如“记录 curSubject 和 curPredicate ”这样的语言。
此表将产生式和词法记号映射到
RDF 项RDF
项7. 解析
注
由于检测输入错误的处理器可能会产生
比输入中所描述的三元组更少的图
（包括完全没有三元组），
因此消费者在使用输出三元组时，
应考虑已报告的任何错误信息，
这些输出三元组可能不完整和/或包含
类型不正确
或形式不正确的项。
Turtle 文档 定义了一个由一组 RDF 三元组RDF 图subjectcurSubject 。
verbcurPredicate 。
objectttObjectcurObject 。
文档中的每个 objectN
都产生一个 RDF 三元组：
curSubject
curPredicate N .
开始 reifiercurReifier 取自 reifierRDF 三元组 curReifier
rdf:reifies curTripleTerm 。
开始 annotationcurSubject 和 curPredicate 。
使用 curSubject 、curPredicate 、curObject
创建一个新的 tripleTermcurTripleTerm ，
并清除 curReifier 的值。
结束 annotationcurSubject 和 curPredicate 值。
开始 annotationBlockcurTripleTerm 。
如果 curReifier 未设置，则为其分配一个新的 RDF 空白
节点 ，
并且该产生式产出 RDF 三元组
curReifier rdf:reifies curTripleTerm 。
curSubject 取自 curReifier 。
结束 annotationBlockcurReifier 的值
并恢复 curTripleTerm 。
注
如果 curReifier 已经被设置，则
具体化三元组 curReifier rdf:reifies curTripleTerm
已在 7.3.1
具体化器
开始 collectioncurSubject 和 curPredicate 。
collectionobjectcurSubject 设置
为一个新的空白节点 B ，并将
curPredicate 设置为
rdf:first。
第一个之后的每个对象 objectn 都产生一个三元组：objectn-1 rdf:rest
objectn .collectioncurSubject rdf:rest rdf:nil .curSubject 和 curPredicate 。
通过匹配 collectionB ，
对于空列表是 rdf:nil。
↑