이 문서 전체에서 다음 용어가 사용됩니다.

이 문서에서 정의하는 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에서 사용됩니다. 특정 용어가 이 문서에서 나타나는 모든 경우에 대해 정의를 제공하려면 한 번의 링크로 충분합니다.

정의는 이 문서 안에서 완결됩니다. 즉, 이 문서 안에서 어떤 상황을 참으로 만드는 규칙이 없다면 그 상황은 거짓입니다.

SHACL의 구문은 RDF입니다. 이 문서의 예제는 Turtle [rdf12-turtle]을 사용합니다. RDF/XML과 같은 다른 RDF 직렬화도 실제로 사용될 수 있습니다. 독자는 triples와 같은 기본 RDF 개념 [rdf12-concepts] 및 SPARQL [sparql12-query]에 익숙해야 합니다.

이 문서에서는 다음 namespace prefix bindings가 사용됩니다.

이 문서에서는 다음 JSON-LD context가 사용됩니다.

{
  "@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 vocabulary 자체를 정의하는 graph의 URI는 위 namespace와 동일합니다. 즉, #를 포함합니다. 예를 들어 owl:imports를 통한 SHACL vocabulary 참조는 #를 포함해야 합니다.

문서 전체에서 Turtle의 RDF graphs를 포함하는 색상 구분 상자가 나타납니다. 이러한 Turtle 문서 조각은 위에 제시된 prefix bindings를 사용합니다.

SHACL Definitions는 파란색 상자에 나타납니다.

# This box contains SPARQL or textual definitions.

이와 같은 회색 상자는 shapes graph에 적용되는 구문 규칙을 포함합니다.

$ marker를 사용하는 SPARQL variables는 SPARQL query 실행 전에 pre-bound되거나, $PATH의 경우 substituted되는 외부 bindings를 나타냅니다 (3.3 SPARQL 기반 Constraint Components를 사용한 검증에서 설명함).

true는 RDF term "true"^^xsd:boolean을 나타냅니다. false는 RDF term "false"^^xsd:boolean을 나타냅니다.

비규범으로 표시된 절뿐만 아니라, 이 명세의 모든 작성 지침, 도표, 예제 및 참고는 비규범입니다. 이 명세의 그 밖의 모든 내용은 규범적입니다.

이 문서의 핵심어 MAY, MUST, 그리고 SHOULD는 여기에 표시된 것처럼 모두 대문자로 나타날 때, 그리고 그 경우에만 BCP 14 [RFC2119] [RFC8174]에 설명된 대로 해석해야 합니다.

이 문서는 SHACL Core를 확장하는 SHACL-SPARQL 언어를 정의합니다. 이 명세는 다음에 대한 적합성 기준을 설명합니다.

• SHACL-SPARQL processors: SHACL-SPARQL Language를 사용한 검증을 지원하는 processors

또한 SHACL Core의 적합성 절에서 well-formedness에 관한 논의도 참조하세요.

Shapes는 sh:sparql property에 대한 values를 가질 수 있으며, 이러한 values는 IRIs 또는 blank nodes입니다. 이러한 values를 SPARQL 기반 constraints라고 합니다.

SPARQL 기반 constraints는 sh:select property에 대해 정확히 하나의 value를 갖습니다. sh:select의 value는 datatype xsd:string의 literal입니다. class sh:SPARQLConstraint는 SHACL vocabulary에서 정의되며, 이러한 constraints의 type으로 사용할 수 있습니다 (하지만 type이 필수는 아닙니다). prefix 처리 규칙을 사용하여, sh:select의 value는 유효한 SPARQL 1.2 SELECT query입니다. sh:select의 value에서 파생된 SPARQL query는 SELECT clause에서 variable this를 projects합니다.

다음 두 properties는 shapes에서의 사용과 유사합니다.

SPARQL 기반 constraints는 sh:message property에 대한 values를 가질 수 있으며, 이들은 datatype xsd:string, rdf:dirLangString, rdf:langString, 또는 rdf:HTML을 가진 literals입니다. 같은 language tag를 가진 sh:message value가 둘 이상 있거나, datatype xsd:string의 value가 여러 개 있어서는 안 됩니다. SPARQL 기반 constraints는 sh:deactivated property에 대해 최대 하나의 value를 가질 수 있습니다 그리고 이 value는 true 또는 false입니다. SPARQL 기반 constraints는 sh:severity property에 대해 최대 하나의 value를 가질 수 있으며, 이 value는 IRI입니다.

property shapes의 맥락에서 사용되는 SELECT queries는 shape가 사용하는 path의 placeholder로 PATH라는 특수 variable을 사용합니다.

SPARQL 기반 constraints 및 SELECT 기반 validators의 SPARQL queries에서 variable PATH의 유일한 적법한 사용은 triple pattern의 predicate position입니다. variable PATH를 다른 position에서 사용하는 query는 ill-formed입니다.

이 절은 sh:SPARQLConstraintComponent의 validator를 설명합니다. 이 validator는 가능한 구현 전략 하나만을 설명하며, SHACL processors는 결과가 동등한 한 대안적 접근 방식을 선택할 수 있음에 유의하세요.

SPARQL 기반 제약 컴포넌트는 IRI이며, shapes graph 안에서 sh:ConstraintComponent라는 SHACL type을 가집니다.

이 문서에서 새로운 제약 컴포넌트를 선언하는 메커니즘은 SPARQL에 기반한 것들로 제한됩니다. 그러나 parameters와 validators를 선언하는 일반 구문은 JavaScript와 같은 다른 extension languages에도 작동하도록 설계되었습니다.

이 절은 SPARQL 기반 제약 컴포넌트의 validator를 정의합니다. 이 validator는 가능한 구현 전략 하나만을 설명하며, 결과가 동등한 한 SHACL processors가 대안적 접근 방식을 선택할 수 있음에 유의하세요.

첫 번째 단계로, 3.2.3 Validators에 개요가 제시된 규칙에 따라 validator가 MUST 선택되어야 합니다. 그런 다음 다음 규칙이 적용되어 SPARQL queries의 solutions 집합을 생성합니다.

• ASK 기반 validators의 경우: SPARQL ASK query가 v를 variable value에 pre-bound한 상태에서 false를 반환하는 각 value node v에 대해, ($this, focus node)와 ($value, v)의 bindings로 구성된 하나의 solution을 생성합니다. QS를 이러한 solutions의 목록이라고 합니다.
• SELECT 기반 validators의 경우: shape가 property shape이면, 실행 전에 substitute the variable PATH where it appears in the predicate position of a triple pattern with a valid SPARQL surface syntax string of the SHACL property path specified via sh:path at the property shape. QS를 SPARQL query를 실행하여 생성된 solutions라고 합니다.

위 SPARQL query executions는 2.3.1 SPARQL Constraints의 사전 바인딩된 variable $this에 설명된 대로 variable this를 pre-bind해야 MUST 합니다. 또한 constraint 안의 constraint component의 parameter에 대한 각 value는 그 이름으로 parameter name을 갖는 variable로 pre-bound되어야 MUST 합니다.

validation results에 대한 production rules는 위에서 생성된 QS solutions를 사용하여 SPARQL 기반 constraints에 대한 것과 동일합니다.

sh:select에 대한 value를 가진 node expression을 function name sh:SelectExpression을 가진 select expression이라고 합니다.

RDF graph의 node는 blank node이며, predicate sh:select에 대해 정확히 하나의 value를 가지고, 이 value가 xsd:string datatype을 가진 literal인 경우, well-formed select expression입니다. well-formed select expression은 property sh:prefixes에 대해 최대 하나의 value를 가질 수 있으며, 이 value는 IRI 또는 blank node일 수 있습니다.

prefix handling rules를 사용하면, sh:select의 value는 유효한 SPARQL 1.2 SELECT query입니다. sh:select의 value에서 파생된 SPARQL query는 SELECT clause에서 정확히 하나의 variable을 projects합니다.

이 절의 나머지는 비규범입니다.

sh:sparqlExpr에 대한 value를 가진 node expression을 function name sh:SPARQLExprExpression을 가진 SPARQL expr expression이라고 합니다.

RDF graph의 node는 blank node이며, predicate sh:sparqlExpr에 대해 정확히 하나의 value를 가지고, 그 value가 xsd:string datatype을 가진 literal인 경우, well-formed SPARQL expr expression입니다. well-formed SPARQL expr expression은 property sh:prefixes에 대해 최대 하나의 value를 가질 수 있으며, 이 value는 IRI 또는 blank node입니다.

$EXPR$를 sh:eval의 value라고 하고, $PREFIXES$를 sh:prefixes의 value를 사용하여 prefix handling rules에서 나온 SPARQL prefixes block이라고 하면, select는 $EXPR$와 $PREFIXES$가 다음에 삽입된 문자열로 정의됩니다.

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

select는 유효한 SPARQL 1.2 SELECT query입니다.

이 절의 나머지는 비규범입니다.