この文書全体で、次の用語を使用します。

この文書で定義される SHACL SPARQL Extensions は、SHACL-SPARQL と呼ばれることがあります。

RDF 1.2 Concepts and Abstract Syntax の各部分にリンクされている用語は、そこで定義されているとおりに SHACL-SPARQL で使用されます。 SPARQL 1.2 Query Language の各部分にリンクされている用語は、そこで定義されているとおりに SHACL-SPARQL で使用されます。 SHACL 1.2 Core の各部分にリンクされている用語は、そこで定義されているとおりに SHACL-SPARQL で使用されます。 1 つのリンクで、この文書における特定の用語のすべての出現に定義を与えるのに十分です。

定義はこの文書内で完結しています。すなわち、この文書にある状況を真にする規則が 存在しない場合、その状況は偽です。

SHACL の構文は RDF です。 この文書の例では Turtle [rdf12-turtle] を使用します。 実際には RDF/XML などの他の RDF シリアル化を使用できます。 読者は、トリプルなどの基本的な RDF 概念 [rdf12-concepts] と、 SPARQL [sparql12-query] に精通している必要があります。

この文書内では、次の名前空間プレフィックスバインディングが使用されます:

この文書内では、次の JSON-LD コンテキストが使用されます:

{
  "@context": {
    "owl": "http://www.w3.org/2002/07/owl#",
    "rdf": "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
    "rdfs": "http://www.w3.org/2000/01/rdf-schema#",
    "sh": "http://www.w3.org/ns/shacl#",
    "xsd": "http://www.w3.org/2001/XMLSchema#",
    "ex": "http://example.com/ns#"
  }
}

SHACL 語彙自体を定義するグラフの URI は、上記の名前空間と同等であり、 つまり # を含むことに注意してください。 たとえば owl:imports による SHACL 語彙への参照には、# を含めるべきです。

文書全体に、Turtle の RDF グラフを含む色分けされたボックスが現れます。 これらの Turtle 文書の断片は、上記のプレフィックスバインディングを使用します。

SHACL 定義は青いボックスに表示されます:

# このボックスには SPARQL またはテキスト定義が含まれます。

このような灰色のボックスには、シェイプグラフに適用される構文規則が含まれます。

$ マーカーを使用する SPARQL 変数は、実行前に 事前バインドされる、または $PATH の場合は (3.3 SPARQL ベースの 制約コンポーネントによる検証で説明されるように) SPARQL クエリ内で 置換される外部バインディングを表します。

true は RDF 用語 "true"^^xsd:boolean を表します。 false は RDF 用語 "false"^^xsd:boolean を表します。

非規範的とマークされたセクションに加えて、この仕様のすべての作成ガイドライン、図、例、および注記は 非規範的です。この仕様のそれ以外のすべては規範的です。

この文書におけるキーワード MAY、MUST、および SHOULD は、 ここに示すようにすべて大文字で現れる場合、かつその場合に限り、 BCP 14 [RFC2119] [RFC8174] で説明されるように解釈されます。

この文書は、SHACL Core を拡張する SHACL-SPARQL 言語を定義します。 この仕様は、次のものに対する適合基準を説明します:

• SHACL-SPARQL プロセッサー、すなわち SHACL-SPARQL 言語による検証をサポートするプロセッサー

SHACL Core の適合性セクションにおける 整形式性の議論も参照してください。

シェイプは、 プロパティ sh:sparql の値を持つことができ、これらの値は IRI または 空白ノードです。 これらの値は、SPARQL ベースの制約と呼ばれます。

SPARQL ベースの制約は、 プロパティ sh:select に対して正確に 1 つの値を持ちます。 sh:select の値は、 データ型 xsd:string のリテラルです。 クラス sh:SPARQLConstraint は SHACL 語彙で定義されており、これらの 制約の型として使用できます (ただし型は要求されません)。 プレフィックス処理規則を使用すると、sh:select の値は 有効な SPARQL 1.2 SELECT クエリです。 sh:select の値から 導出される SPARQL クエリは、SELECT 句で変数 this を射影します。

次の 2 つのプロパティは、シェイプにおける使用と似ています:

SPARQL ベースの 制約は、プロパティ sh:message の値を持つことができ、 これらは xsd:string、rdf:dirLangString、rdf:langString、または rdf:HTML のデータ型を持つ リテラルです。 同じ言語タグを持つ sh:message の値が 2 つ以上あってはならず、 またデータ型 xsd:string の値が複数あってもなりません。 SPARQL ベースの 制約は、プロパティ sh:deactivated に対して高々 1 つの値を持つことができます かつ、この値は true または false です。 SPARQL ベースの制約は、 プロパティ sh:severity に対して高々 1 つの値を持つことができ、 この値は IRI です。

プロパティシェイプの文脈で使用される SELECT クエリは、そのシェイプで使用されるパスのプレースホルダーとして、PATH という 特別な変数を使用します。

SPARQL ベースの 制約および SELECT ベースのバリデーターの SPARQL クエリにおいて、 変数 PATH の唯一の正当な使用は、 トリプルパターンの 述語 位置です。 変数 PATH を他のいずれかの位置で使用するクエリは、 非整形式です。

このセクションでは、sh:SPARQLConstraintComponent の バリデーターについて説明します。 このバリデーターは、可能な 1 つの実装戦略を説明しているだけであり、 SHACL プロセッサーは結果が同等である限り、別の方法を選択してもよいことに注意してください。

SPARQL ベースの制約コンポーネントは、 IRIであり、 シェイプグラフ内で sh:ConstraintComponent の SHACL 型を 持ちます。

この文書で新しい制約コンポーネントを宣言する 仕組みは、SPARQL に基づくものに限定されています。 ただし、パラメーターとバリデーターを宣言する一般的な構文は、JavaScript などの 他の拡張言語にも対応できるように設計されています。

このセクションでは、SPARQL ベースの制約コンポーネントの バリデーターを定義します。 このバリデーターは、可能な 1 つの実装戦略を説明しているだけであり、 SHACL プロセッサーは結果が同等である限り、別の方法を選択してもよいことに注意してください。

最初のステップとして、バリデーターは、 3.2.3 バリデーターで概説された規則に基づいて選択されなければなりません。 次に、SPARQL クエリの解の集合を生成する、次の規則が適用されます:

• ASK ベースのバリデーターの場合: SPARQL ASK クエリが、事前バインドされた変数 value に v を持つ状態で false を返す各値 ノード v について、 ($this, フォーカスノード) および ($value, v) のバインディングからなる 1 つの 解を作成します。 QS をこれらの解のリストとします。
• SELECT ベースのバリデーターの場合: シェイプが プロパティ シェイプである場合、実行前に、 述語 位置のトリプルパターンに現れる 変数 PATH を、 プロパティシェイプの sh:path によって指定された SHACL プロパティパスの 有効な SPARQL 表層構文文字列で 置換します。 QS を、SPARQL クエリを実行することによって生成された 解とします。

上記の SPARQL クエリ実行は、2.3.1 SPARQL 制約における事前バインド変数 $thisで説明されるように、 変数 this を事前バインド しなければなりません。 さらに、制約内の 制約コンポーネントの パラメーターの各 値は、 その名前としてパラメーター名を持つ変数として 事前バインドされなければなりません。

検証結果の生成規則は、 上で生成された QS 解を使用して、 SPARQL ベースの制約のものと同一です。

sh:select の値を持つ ノード 式は、関数名 sh:SelectExpression を持つ select 式と呼ばれます。

RDF グラフ内のノードは、 それが空白ノードであり、 述語 sh:select に対して正確に 1 つの 値を持ち、 この値が データ型 xsd:string を持つ リテラルである場合、 整形式の select 式です。 整形式の select 式は、プロパティ sh:prefixes に対して高々 1 つの 値を持つことができ、 この値は IRIまたは 空白ノードのみです。

プレフィックス処理 規則を使用すると、sh:select の値は有効な SPARQL 1.2 SELECT クエリです。 sh:select の値から導出される SPARQL クエリは、SELECT 句で正確に 1 つの変数を 射影します。

このセクションの残りは非規範的です。

sh:sparqlExpr の値を持つ ノード 式は、関数名 sh:SPARQLExprExpression を持つ SPARQL expr 式と呼ばれます。

RDF グラフ内のノードは、それが 空白ノードであり、 述語 sh:sparqlExpr に対して正確に 1 つの 値を持ち、 その値が データ型 xsd:string を持つ リテラルである場合、 整形式の SPARQL expr 式です。 整形式の SPARQL expr 式は、プロパティ sh:prefixes に対して高々 1 つの 値を持つことができ、 この値は IRIまたは 空白ノードです。

$EXPR$ を sh:eval の値とし、 $PREFIXES$ を sh:prefixes の値を使用する プレフィックス処理規則から得られる SPARQL プレフィックスブロックとします。 このとき select は、$EXPR$ と $PREFIXES$ が次に挿入された文字列として定義されます

$PREFIXES$ SELECT ($EXPR$ AS ?result) WHERE {}

select は有効な SPARQL 1.2 SELECT クエリです。

このセクションの残りは非規範的です。