目次
要約 この文書のステータス
文書群
1. はじめに2. Turtle
言語
2.1 単純な
トリプル2.2
述語
リスト2.3 オブジェクト
リスト2.4 バージョン
宣言2.5 IRI2.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
用語
これら2つの例は、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 用語
これら2つの例は、Spiderman の名前を2つの言語で書く等価な方法です。
<http://example.org/#spiderman> <http://xmlns.com/foaf/0.1/name> "Spiderman", "Человек-паук"@ru .
例 6 :
単純なトリプルに展開されたオブジェクトリスト
<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 では、4つの
RDF 用語IRI
(国際化
資源識別子)、
リテラル 、
空白
ノード 、および
トリプル
用語 です。
Turtle は、それぞれを書くための多数の方法を提供します。
Turtle 言語はその起源以来進化しており、RDF
1.2
は新しい構文を追加します。
RDF 1.2 Turtle は、任意の
version メディア型パラメーター とともに、
VERSION@version初期テキスト方向
や トリプル
用語 などの新機能を含む 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 固有の機能（
初期テキスト方向 など）を使用する場合、
文書の早い段階で、特定の RDF バージョンを
VERSION@version
1 つの Turtle 文書内に複数のバージョンディレクティブを記述できます。
ディレクティブは、そのディレクティブより後の文書部分に適用され、
別のディレクティブが検出されるか、文書の末尾に達するまで有効です。
現在のバージョンディレクティブがない場合、メディアタイプ の一部として指定されたバージョンが考慮されます。
いずれの場合も、バージョンの宣言はヒントです。
パーサーは、宣言されたバージョンの範囲外にある機能を拒否する必要はありません
（ただし、警告によってそれらを通知することはできます）。
IRI は、
解決済み
IRI、
相対 IRI 参照 、
または 接頭辞付き名前 として書くことができます。
相対 IRI および解決済み IRI は、<>数値エスケープシーケンス (後述) を含んでもかまいません。
例: <http://example.org/#green-goblin>。
<#green-goblin>
のような
相対 IRI 参照 は、
現在の基底 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 および @base 指令では、
IRI の後に末尾の .PREFIXBASE.PREFIXBASEprefixbase
リテラル
は、文字列、数値、日付などの値を識別するために使用されます。
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 には、整数値、
任意精度の10進数値、および倍精度浮動小数点値を書くための省略構文があります。
データ型
省略形
字句形式
説明
xsd:integer -5"-5"^^xsd:integer整数値は、任意の符号と一連の数字として書くことができます。
整数は正規表現 "[+-]?[0-9]+" に一致します。
xsd:decimal -5.0"-5.0"^^xsd:decimal任意精度の10進数は、任意の符号、
0個以上の数字、
小数点、および1個以上の数字として書くことができます。
10進数は正規表現 "[+-]?[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
[XMLSCHEMA11-2 RDF リテラルを表します。
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 は、コレクション [RDF12-SCHEMA RDF ノードのリストのために提供します。
コレクションの Turtle 構文は、RDF 用語()rdf:first/rdf:rest
リスト構造を表し、rdf:first
文のオブジェクトの並びが、()
(…) 構文は、トリプルの
subjectobjectMUST )
(Turtle 文法を参照)。
リストの先頭にある 空白
ノード は、それを含むトリプルの主語またはオブジェクトです。
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 トリプルオブジェクト に
なってもかまいません。
トリプル
用語
は、ttSubjectpredicatettObjecttripleTerm<<()>>トリプル用語
は入れ子にできることに注意してください。
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
SemanticsRDF
トリプルの表現を説明しますが、
RDF 1.2 では、この用語を、
rdf:reifies 述語を使用して
トリプル
用語
を識別するために使用します。
ある 具体化トリプル は、
reifiedTriple<<rtSubjectpredicatertObjectreifier~iriBlankNode>><< :subject :predicate :object ~ :IRIREF >> です。
reifier が存在しない場合、
または ~iriBlankNodeRDF 空白
ノード<< :subject :predicate :object >>、
または << :subject :predicate :object ~ >> の場合と同様です。
注記
reifiedTriples<< :subject1 :predicate1 << :subject2 :predicate2 :object2 >> ~:IRIREF1 >>
または
<< :subject4 :predicate4 << :subject3 :predicate3 :object3 ~:IRIREF3 >> >>。
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 .
たとえば、上の例の構文糖は次と等価です:
例 25 : トリプル用語に展開された具象化トリプル
PREFIX : <http://www.example.org/>
:employee38 :familyName "Smith" .
_:id rdf:reifies <<( :employee38 :jobTitle "Assistant Designer" )>> .
_:id :accordingTo :employee22 .
IRI を省略できるように接頭辞を宣言した後、
この例の最初のトリプルは、employee38 が
"Smith" という familyName を持つことを表明します。
このグラフは、employee38 が
"Assistant
Designer" という jobTitle を持つことを表明していないことに注意してください。
これは、employee22 が reifiedTripleemployee38 has a jobTitle of 'Assistant Designer'"
というトリプルは、上の "employee38 has a familyName of 'Smith'" と同様に、
グラフ自体のメンバーではありません。
むしろ、それは 具象化トリプル として知られます。
reifiedTriplerdf:reifies 述語を使用して
具象化子 を
tripleTerm
Turtle はまた、トリプル を具象化し、かつ表明するための
注釈
構文
を定義します。
これは便利なショートカットを提供します。
注釈は、明示的または暗黙的な識別子を介して
トリプルを同時に表明し、
さらにそのトリプルを別のトリプルの
主語 または
オブジェクト に
するために使用できます。
明示的に識別されている場合、同じ 具象化子 を、
追加のトリプルおよび/または
トリプル用語 の
主語 または
オブジェクト
として使用できます。
reifiedTripleトリプル項 を識別するために、
チルダ（~IRI または
空白ノード として記述される、
具体化子 を使用します。
ただし、
reifiedTriple具体化子 は最大で 1 つですが、注釈構文には
任意の数の 具体化子 を含めることができます。各 具体化子 により、対応する
具体化トリプルが生成されます。
具象化子 の後には、注釈ブロックが続いてもかまいません。
具象化子 の後に注釈ブロックが続かない場合、
これは追加の注釈を持たない
reifiedTriple具象化子 がない場合、
新しい RDF 空白ノードが割り当てられ、
トリプル
用語 の
具象化子 として機能します。
注記
注釈構文は Turtle における構文上のショートカットです。
RDF 抽象構文 [RDF11-CONCEPTS
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 .
トリプル用語 を使用するよう完全に展開すると、
具象化子ではなく、次のようになります:
例
28 : トリプル
用語に展開された注釈付きトリプル
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 .
前の例では、グラフには4つの
トリプル が含まれます。
具象化子 は :t によって識別されます。
注釈ブロックは、明示的な
具象化子 なしでも使用できます。
その場合、新しい RDF 空白ノードが割り当てられ、
トリプル
用語 の
具象化子 として機能します。
例 29 : 暗黙的な具象化子を持つ注釈付きトリプル
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 空白
ノードを表します:
例
30 : 展開された、暗黙的な具象化子を持つ注釈付きトリプル
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 空白ノードと関連付けられます。
例
31 : 複数の暗黙的な
具象化子を持つ注釈付きトリプル
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 .
注釈構文は、注釈ブロックを持たない複数の明示的な
具象化子 も含んでもかまいません。
そのような各 具象化子
は、対応する具象化トリプルを生成させます。
例
33 : 複数の明示的な
具象化子を持つ注釈付きトリプル
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 文字列U+0000 から U+D7FF
および U+E000 から U+10FFFF
の範囲内の
Unicode スカラー値 のみが
許可されます。これにより、
サロゲート符号位置 、
範囲 U+D800 から U+DFFF は除外されます。
空白 (生成規則 WS
空白は生成規則 String
Turtle 文書で使用されるエスケープには3つの形式があります:
数値エスケープシーケンス は、
Unicode 符号位置 の値を表します。
数値エスケープシーケンス は、
Unicode サロゲート の範囲である
U+D800 から U+DFFF の範囲の
符号位置値を生成してはなりません (MUST NOT )。
ここで 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
注記
%-符号化されたシーケンスは、
IRI の文字範囲 内にあり、
ローカル名では明示的に許可 されています。
これらは %not )。
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', and
'false')
は大文字小文字を区別します。
引用符内のキーワード
("BASE",
"PREFIX", and
"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数字の9
U+003B:コロン
U+003B;セミコロン
U+003C<小なり記号
U+003E>大なり記号
U+0040@アット記号
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"""3つの引用符文字を連結したもので、それぞれの符号位置は U+0022 です
'''3つのアポストロフィ文字を連結したもので、それぞれの符号位置は U+0027
です
<<2つの小なり記号文字を連結したもので、それぞれの符号位置は U+003C
です
>>2つの大なり記号文字を連結したもので、それぞれの符号位置は U+003E です
<<(2つの小なり記号文字を連結したもので、それぞれの符号位置は U+003C、
その後に、符号位置 U+0028 を持つ左丸括弧文字が続きます
)>>符号位置 U+0029 を持つ左丸括弧文字に、
2つの大なり記号文字を連結したものが続き、それぞれの符号位置は U+003E です
^^2つのサーカムフレックスアクセント文字を連結したもので、それぞれの符号位置は U+005E です
{|{ (左波括弧、符号位置 U+007B) に続いて、
| (縦線、符号位置 U+007C)
が置かれます
|}| (縦線、符号位置 U+007C)
に続いて、
} (右波括弧、符号位置 U+007D)
が置かれます
_:_:--2つの -
RDF 1.2 Concepts and Abstract Syntax 仕様
[RDF12-CONCEPTS RDF 用語IRI 、
リテラル 、
空白
ノード 、および
トリプル
用語 です。
リテラルは、字句形式
と、任意の 言語タグ [BCP47 初期テキスト方向 を含む –
または データ型 IRI から構成されます。
追加の型である prefix は、構文解析中に文字列識別子を
名前空間 IRI に対応付けるために使用されます。
この節では、6.5 文法RDF 用語
Turtle の構文解析には、9項目の状態が必要です:
用語コンストラクターは、「curSubject および curPredicate を記録する」
などの言語を使用して示される、これらの値のスタックを作成できます。
この表は、生成規則および字句トークンを、RDF 用語RDF
用語7. 構文解析
注記
入力上のエラーを検出する処理器は、
入力で記述されたものより少ないトリプルを含むグラフ
(トリプルをまったく含まないものを含む) を生成する可能性があるため、
利用者は、出力トリプルを使用する際、
通知されたエラー情報を考慮するべきです。
出力トリプルは不完全である可能性があり、かつ/または
型不正
または整形式でない用語を含む可能性があります。
Turtle 文書 は、
RDF トリプルRDF グラフsubjectcurSubject を設定します。
verbcurPredicate を設定します。
objectttObjectcurObject を設定します。
文書内の各 objectN は、次の RDF トリプルを生成します:
curSubject
curPredicate N .
reifiercurReifier は reifierRDF トリプル
curReifier
rdf:reifies curTripleTerm を生成します。
annotationcurSubject および curPredicate を記録します。
新しい tripleTermcurTripleTerm
が、curSubject curPredicate curObject を使用して作成され、
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 です。
[BCP47
[I18N-GLOSSARY
サロゲート符号
位置
Unicode 符号
位置
Unicode スカラー
値
[LANG-SUBTAG-REGISTRY
[RDF-MT
[RDF12-CONCEPTS
2.1 Version
Labels
空白ノード
識別子
空白ノード
データ型 IRI
方向付き
言語タグ付き文字列
型不正
初期テキスト
方向
IRI
言語タグ
リテラル
オブジェクト型
述語
RDF グラフ
RDF 字句
形式
RDF 文字列
RDF 用語
具象化子
具象化
トリプル
相対 IRI
参照
主語
トリプル
トリプル用語
[RDF12-SCHEMA
[RDF12-XML
[RFC3986
5.1.3 節、取得
URI からの基底 URI
解決済み
3.3 節
5.1.1
節「コンテンツに埋め込まれた基底 URI」
5.1.2 節「カプセル化するエンティティからの基底 URI」
5.1.4
節、
「デフォルトの基底 URI」
[RFC3987
[SPARQL12-QUERY
Prologue
SPARQL Grammar
IRI の
構文
トリプル
パターン
TriplesBlock
[XML-NAMES
[XMLSCHEMA11-2
↑