셰이프는 제약 컴포넌트의 매개변수를 사용하여 제약을 선언할 수 있습니다.

제약 컴포넌트는 IRI입니다. 각 제약 컴포넌트에는 하나 이상의 필수 매개변수가 있으며, 각각은 속성입니다. 각 제약 컴포넌트에는 0개 이상의 선택 매개변수가 있으며, 각각은 속성입니다. 제약 컴포넌트의 매개변수는 그 필수 매개변수와 선택 매개변수를 합한 것입니다.

예를 들어, 컴포넌트 sh:MinCountConstraintComponent는 매개변수 sh:minCount를 선언하여, 노드가 특정 속성에 대해 최소 개수 이상의 값을 가져야 한다는 제한을 나타냅니다.

제약 컴포넌트 C가 필수 매개변수 p1, ... pn을 가질 때, 셰이프 s가 셰이프 그래프 SG 안에서 pi에 대해 vi를 값으로 가질 때, s는 SG에서 필수 매개변수 값 <p1,v1>, ... <pn,vn>을 가지고 C라는 종류를 가지는 제약을 선언합니다. 선택 매개변수가 있는 제약 컴포넌트의 경우, 제약 선언은 해당 컴포넌트의 모든 필수 및 선택 매개변수에 대해 셰이프가 가지는 값으로 구성됩니다.

일부 제약 컴포넌트는 단일 매개변수만 선언합니다. 예를 들어 sh:ClassConstraintComponent에는 단일 매개변수 sh:class가 있습니다. 이러한 매개변수는 같은 셰이프에서 여러 번 사용할 수 있으며, 이러한 매개변수의 각 값은 개별 제약을 선언합니다. 그러한 선언의 해석은 논리곱, 즉 모든 제약이 적용된다는 것입니다. 다음 예제는 ex:customer의 값이 ex:Customer와 ex:Person 모두의 SHACL 인스턴스여야 함을 지정합니다.

sh:PatternConstraintComponent와 같은 일부 제약 컴포넌트는 하나보다 많은 매개변수를 선언합니다. 이러한 컴포넌트의 매개변수 중 하나라도 둘 이상의 값을 가지는 셰이프는 잘못 형성된 것입니다.

이 구문 규칙을 우회하는 한 가지 방법은 다음 예제에 설명된 것처럼 제약을 여러 (속성) 셰이프에 분산하는 것입니다.

제약 컴포넌트는 검증기와 연결되며, 이 검증기는 매개변수가 데이터를 검증하는 데 어떻게 사용되는지에 대한 지침(예: SPARQL 질의로 표현됨)을 제공합니다. RDF 용어를 셰이프에 대해 검증하는 것은, 셰이프가 해당 제약의 컴포넌트의 모든 필수 매개변수에 대해 값을 가지는 각 제약에 대해, 해당 컴포넌트와 연결된 검증기를 사용하여 그 용어를 검증하는 것을 포함합니다.

SHACL Core에 포함된 제약 컴포넌트 목록은 섹션 4에 설명되어 있습니다. SHACL-SPARQL은 SPARQL 기반의 추가 제약 컴포넌트를 선언하는 데 사용할 수 있습니다.

데이터 그래프의 트리플을 사용하여 셰이프에 대해 검증되는 RDF 용어를 포커스 노드라고 합니다.

이 섹션의 나머지 부분은 비규범입니다.

셰이프에 대한 포커스 노드 집합은 다음과 같이 식별될 수 있습니다:

• 대상 선언을 사용하여 셰이프 안에서 지정됨
• 셰이프를 기대하는 제약 매개변수(예: sh:node)의 매개변수에서 셰이프를 참조하는 모든 제약 안에서 지정됨
• 특정 RDF 용어를 셰이프에 대해 검증하기 위한 SHACL 프로세서의 명시적 입력으로 지정됨

셰이프 그래프에서 셰이프의 대상 선언은 셰이프를 주어로 하고, 이 문서에서 설명하는 특정 속성 (예: sh:targetClass)을 술어로 하는 트리플입니다. 또한 sh:shape 트리플은 데이터 그래프에서 대상을 선언할 수 있습니다. 대상 선언은 셰이프에 대한 포커스 노드를 생성하는 데 사용할 수 있습니다. 대상 선언의 대상은 이 섹션의 나머지 부분에서 설명하는 규칙을 데이터 그래프에 적용하여 생성되는 RDF 용어들의 집합입니다. 셰이프의 대상은 그 셰이프에 대해 선언된 개별 대상들이 생성하는 모든 RDF 용어의 합집합입니다.

SHACL Core에는 다음 종류의 대상이 포함됩니다:

• 노드 대상
• 클래스 기반 대상 (암시적 클래스 기반 대상 포함)
• 주어 대상
• 목적어 대상
• where 대상
• 명시적 셰이프 대상

이 소개의 나머지 부분은 비규범입니다.

대상이 생성한 RDF 용어는 데이터 그래프에 노드로 존재할 필요가 없습니다. 해당 셰이프의 검증 프로세스에 포커스 노드가 직접 입력으로 제공될 때마다 셰이프의 대상은 무시됩니다. 여기에는 셰이프가 sh:node와 같은 셰이프를 기대하는 제약 매개변수 중 하나의 값이고, sh:NodeConstraintComponent와 같은 해당 제약 컴포넌트의 검증 중에 포커스 노드가 결정되는 경우가 포함됩니다. 이러한 경우, 제공된 포커스 노드는 셰이프의 대상 안에 있을 필요가 없습니다.

셰이프는 셰이프 그래프에서 속성 sh:severity에 대해 하나의 값을 지정할 수 있습니다. sh:severity의 각 값은 IRI입니다.

셰이프별 심각도를 선언하는 것 외에도, 속성 sh:severity는 셰이프가 주어이고 제약의 매개변수 중 하나가 술어인 트리플의 구상화자에도 사용할 수 있습니다.

T를 셰이프 안의 제약을 나타내는 트리플들의 집합이라고 합시다. 셰이프 그래프는 T에 있는 트리플들의 구상화자에서 속성 sh:severity에 대해 최대 하나의 값을 지정할 수 있습니다.

sh:severity의 값을 심각도라고 합니다. SHACL은 심각도를 나타내기 위해 아래 표에 나열된 IRI를 포함합니다. 이들은 SHACL 어휘에서 sh:Severity의 SHACL 인스턴스로 선언됩니다.

이 섹션의 나머지 부분은 비규범입니다.

검증 프로세스는 적합성 검사에 따라 sh:severity의 값을 처리합니다. 또한 사용자 인터페이스 도구는 이 값을 사용하여 검증 결과를 분류할 수 있습니다. sh:severity의 값은 SHACL 프로세서가 검증 결과의 sh:resultSeverity 필드를 채우는 데 사용됩니다. 검증 결과의 심각도에 관한 섹션을 참조하십시오. 어떤 IRI도 심각도로 사용할 수 있습니다.

모든 셰이프와 제약에 대해, sh:severity가 지정되지 않으면 sh:Violation이 기본값입니다. 다음 예제는 이를 설명합니다.

다음 예제는 위 셰이프 그래프의 변형이지만, 구상화를 사용하여 개별 제약의 심각도를 지정합니다:

셰이프는 속성 sh:message에 대한 값을 가질 수 있습니다. sh:message의 값은 xsd:string, rdf:dirLangString, rdf:langString 또는 rdf:HTML 데이터타입을 가진 리터럴입니다. 하나의 주어는 같은 언어 태그를 가진 sh:message 값을 둘 이상 가지거나, xsd:string 데이터타입의 값을 여러 개 가져서는 안 됩니다.

셰이프가 셰이프 그래프에서 sh:message에 대한 값을 하나 이상 가지면, 그 셰이프의 결과로 생성되는 모든 검증 결과는 sh:resultMessage의 값으로 정확히 이러한 메시지들을 가지게 됩니다. 즉, 값은 셰이프 그래프에서 결과 그래프로 복사됩니다.

셰이프별 메시지를 선언하는 것 외에도, 속성 sh:message는 셰이프가 주어이고 제약의 매개변수 중 하나가 술어인 트리플의 구상화자에도 사용할 수 있습니다.

T를 셰이프 안의 제약을 나타내는 트리플들의 집합이라고 합시다. 셰이프 그래프는 T에 있는 트리플들의 구상화자에서 속성 sh:message에 대해 최대 하나의 값을 지정할 수 있습니다.

이 섹션의 나머지 부분은 비규범입니다.

sh:resultMessage의 값이 채워지는 방식에 대한 자세한 내용은 검증 결과의 sh:resultMessage에 관한 섹션을 참조하십시오.

이전 섹션의 예제는 이 메커니즘을 사용하여 두 번째 검증 결과에 두 개의 메시지를 제공합니다. 다음 예제는 구상화를 사용하여 메시지를 선언하는 변형입니다.

셰이프는 속성 sh:deactivated에 대해 최대 하나의 값을 가질 수 있습니다. sh:deactivated의 값은 (유일한) 출력 노드로 true 또는 false 중 하나를 가져야 하는 노드 표현식입니다.

expr를 셰이프에서 sh:deactivated의 값이라고 합시다. 만약 evalExpr(expr, data graph, focus node, {})가 true를 유일한 출력 노드로 생성한다면, 그 셰이프를 비활성화된 것이라고 합니다. 비활성화된 셰이프는 검증 중에 무시됩니다.

셰이프에 대한 모든 제약을 비활성화하는 것 외에도, 개별 제약을 비활성화할 수도 있습니다. 이는 구상화를 사용하여 수행됩니다.

셰이프를 주어로 가지고, sh:minCount와 같은 매개변수를 술어로 가지는 트리플은 속성 sh:deactivated에 대한 값을 가진 구상화자를 최대 하나 가질 수 있습니다.

expr를, 셰이프를 주어로 가지고 매개변수를 술어로 가지는 트리플 위의 구상화자에서 sh:deactivated의 값이라고 합시다. 만약 evalExpr(expr, data graph, focus node, {})가 true를 유일한 출력 노드로 생성한다면, 그 트리플을 사용하는 제약을 비활성화된 제약이라고 합니다. 비활성화된 제약은 검증 중에 무시됩니다.

이 섹션의 나머지 부분은 비규범입니다.

SHACL Core에서 sh:deactivated의 유일한 유효 값은 상수 리터럴 노드 표현식 true와 false입니다.

이 기능의 사용 사례에는 셰이프 재사용과 디버깅이 포함됩니다. 다른 그래프나 파일의 셰이프를 주어진 셰이프 그래프로 가져오는 시나리오에서, 현재 애플리케이션 컨텍스트에 적용되지 않는 셰이프를 제외하기 위해 가져오는 로컬 셰이프 그래프에서 sh:deactivated를 true로 설정할 수 있습니다. 이를 통해 원저자가 한 특정 가정에 동의하지 않더라도 다른 사람이 개발한 SHACL 그래프를 재사용할 수 있습니다. 셰이프 작성자가 어떤 셰이프가 다른 사람에 의해 비활성화되거나 수정될 필요가 있을 수 있다고 예상한다면, 실제 셰이프에 빈 노드 대신 IRI를 사용하는 것이 좋은 관행입니다. 예를 들어, 셰이프 ex:PersonShape에서 속성 ex:name에 대한 속성 셰이프는 IRI ex:PersonShape-name을 가질 수 있습니다. sh:deactivated의 또 다른 일반적인 사용 사례는 셰이프 개발 및 테스트 중에 특정 셰이프를 (일시적으로) 비활성화하는 것입니다.

다음 예제는 셰이프를 비활성화하기 위해 sh:deactivated를 사용하는 방법을 설명합니다. 다른 그래프에서 셰이프를 가져오는 경우, sh:deactivated true 트리플은 가져오는 그래프에 있게 됩니다.

다음 변형은 구상화를 사용하여 같은 속성 셰이프의 다른 제약에는 영향을 주지 않고 sh:minCount 제약만 비활성화합니다.

검증과 적합성 검사는 실패로 이어질 수 있습니다. 예를 들어, 특정 SHACL 프로세서는 재귀적 셰이프를 허용하지만 데이터 내에서 루프를 감지하면 실패를 보고할 수 있습니다. 리소스 고갈로 인해 실패가 보고될 수도 있습니다. 실패는 구현별 채널을 통해 신호됩니다.

셰이프 그래프가 잘못 형성된 노드를 포함한다면, 검증 프로세스의 결과는 정의되지 않습니다. SHACL 프로세서는 이 경우 실패를 생성해야 SHOULD 합니다. 6.7.1.4 셰이프 그래프의 구문 검사(sh:shapesGraphWellFormed)도 참조하십시오.

다음 속성은 SHACL Core의 이른바 셰이프를 기대하는 제약 매개변수입니다:

• sh:and
• sh:not
• sh:or
• sh:property
• sh:qualifiedValueShape
• sh:node
• sh:memberShape
• sh:reifierShape
• sh:someValue
• sh:xone

다음 속성은 SHACL Core의 이른바 목록을 받는 제약 매개변수입니다:

• sh:and
• sh:in
• sh:languageIn
• sh:or
• sh:xone

RDF 그래프 G 안의 셰이프 s1은, 어떤 제약 컴포넌트의 목록을 받지 않는 셰이프를 기대하는 매개변수에 대해 s2를 값으로 가지거나, 어떤 제약 컴포넌트의 목록을 받는 셰이프를 기대하는 매개변수에 대한 값의 구성원으로 s2를 가진 경우, G 안의 셰이프 s2를 참조합니다. RDF 그래프 G 안의 셰이프가 G에서 참조 관계의 전이적 폐쇄에 의해 자기 자신과 관련되어 있다면, 그 셰이프는 G에서 재귀적 셰이프입니다.

재귀적 셰이프를 사용하는 검증은 SHACL에서 정의되지 않으며 SHACL 프로세서 구현에 맡겨집니다. 예를 들어, SHACL 프로세서는 재귀 시나리오를 지원하거나 재귀를 감지할 때 실패를 생성할 수 있습니다.

이 섹션의 나머지 부분은 비규범입니다.

위의 재귀 정책은 다양한 구현 전략을 지원하기 위해 선택되었습니다. 재귀를 정의하지 않음으로써, 구현은 순환을 지원할 필요 없이 (SPARQL 엔드포인트에 대해) 정적인 SPARQL 질의 집합을 실행할 수 있도록 재귀를 지원하지 않는 선택을 할 수 있습니다. 작업 그룹은 다른 구현이 재귀를 지원할 수 있으며 일부 셰이프 그래프가 이러한 특정 특성에 의존할 수 있음을 알고 있습니다. 향후 작업, 예를 들어 W3C Community Groups에서의 작업이 재귀가 잘 정의된 특정 SHACL 방언의 정의로 이어질 것으로 기대합니다.

검증 프로세스의 결과는 정확히 하나의 sh:ValidationReport SHACL 인스턴스를 가진 RDF 그래프입니다. RDF 그래프는 출처 메타데이터와 같은 추가 정보를 포함할 MAY 있습니다.

SHACL은 개별 SHACL 검증 결과를 보고하기 위해 sh:ValidationResult를 sh:AbstractResult의 하위 클래스로 정의합니다. SHACL 구현은 예를 들어 성공적으로 완료된 제약 검사 또는 누적 결과를 보고하기 위해 sh:AbstractResult의 다른 SHACL 하위 클래스를 사용할 수 있습니다.

이 섹션의 나머지 하위 섹션에서 설명하는 모든 속성은 sh:ValidationResult에 지정될 수 있습니다. 속성 sh:focusNode, sh:resultSeverity 및 sh:sourceConstraintComponent만 모든 검증 결과에 필수입니다.

노드 셰이프의 경우, 값 노드는 개별 포커스 노드이며, 정확히 하나의 구성원을 가진 집합을 이룹니다.

sh:path p에 대한 값을 가진 속성 셰이프의 경우, 값 노드의 집합은 다음 단계로 생성됩니다:

1. p의 경로 매핑으로 포커스 노드에서 도달할 수 있는 데이터 그래프 안의 모든 노드를 추가합니다.
2. e가 속성 셰이프에서 sh:values의 값이라면, evalExpr(e, data graph, focus node, {})의 출력 노드를 추가합니다.
3. 집합이 여전히 비어 있고 d가 속성 셰이프에서 sh:defaultValue의 값이라면, evalExpr(d, data graph, focus node, {})의 출력 노드를 추가합니다.

sh:class로 지정되는 조건은 각 값 노드가 주어진 타입(들)의 SHACL 인스턴스여야 한다는 것입니다.

제약 컴포넌트 IRI: sh:ClassConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:class의 여러 값은 논리곱으로 해석된다는 점에 유의하십시오. 즉, 값은 이들 모두의 SHACL 인스턴스여야 합니다. 합집합 의미론에는 목록을 사용하십시오.

다음 예제는 sh:class의 목록 기반 구문을 설명하며, 이는 속성 ex:pet의 값이 고양이 또는 개 중 하나여야 함을 의미합니다.

sh:datatype는 각 값 노드의 데이터타입과 관련하여 충족해야 하는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:DatatypeConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:datatype의 값은 일반적으로 xsd:string과 같은 데이터타입입니다.

다음 예제는 목록 기반 구문을 설명하며, 이는 rdfs:label의 모든 값이 xsd:string 또는 rdf:langString 중 하나여야 함을 의미합니다.

sh:nodeKind는 각 값 노드의 RDF 노드 종류에 의해 충족되어야 하는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:NodeKindConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 어떤 주어에서든 ex:knows의 모든 값이 IRI여야 함을 명시합니다.

다음 예제는 목록 기반 구문을 설명하며, 이는 어떤 주어에서든 ex:knows의 모든 값이 IRI 또는 빈 노드여야 함을 의미합니다.

sh:minCount는 조건을 만족하는 값 노드의 최소 개수를 지정합니다. 최소 카디널리티 값이 0이면 이 제약은 항상 만족되므로 생략할 수 있습니다.

제약 컴포넌트 IRI: sh:MinCountConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:maxCount는 조건을 만족하는 값 노드의 최대 개수를 지정합니다.

제약 컴포넌트 IRI: sh:MaxCountConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

제약 컴포넌트 IRI: sh:MinExclusiveConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

값 노드를 지정된 범위와 비교할 수 없는 경우, 예를 들어 누군가 문자열을 정수와 비교하는 경우에는 검증 결과가 있습니다.

제약 컴포넌트 IRI: sh:MinInclusiveConstraintComponent

제약 컴포넌트 IRI: sh:MaxExclusiveConstraintComponent

제약 컴포넌트 IRI: sh:MaxInclusiveConstraintComponent

sh:minLength는 조건을 만족하는 각 값 노드의 최소 문자열 길이를 지정합니다. 이는 어떤 리터럴과 IRI에도 적용할 수 있지만, 빈 노드에는 적용할 수 없습니다.

제약 컴포넌트 IRI: sh:MinLengthConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:minLength의 값이 0이면 문자열 길이에 대한 제한은 없지만, 값 노드가 빈 노드인 경우에는 여전히 제약 위반이라는 점에 유의하십시오.

sh:maxLength는 조건을 만족하는 각 값 노드의 최대 문자열 길이를 지정합니다. 이는 어떤 리터럴과 IRI에도 적용할 수 있지만, 빈 노드에는 적용할 수 없습니다.

제약 컴포넌트 IRI: sh:MaxLengthConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:pattern은 각 값 노드가 조건을 만족하기 위해 일치해야 하는 정규 표현식을 지정합니다.

제약 컴포넌트 IRI: sh:PatternConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

true로 설정되면, sh:singleLine은 값 노드가 줄바꿈을 포함해서는 안 된다고 지정합니다. 제약 검증 외에도, 이 정보는 사용자 인터페이스 빌더가 (한 줄) 텍스트 필드와 (여러 줄) 텍스트 영역 중에서 선택하는 데 활용될 수 있습니다.

제약 컴포넌트 IRI: sh:SingleLineConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:languageIn으로 지정되는 조건은 각 값 노드에 대해 허용되는 언어 태그가 주어진 언어 태그 목록으로 제한된다는 것입니다.

제약 컴포넌트 IRI: sh:LanguageInConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제 셰이프는 ex:prefLabel의 모든 값이 영어 또는 마오리어일 수 있다고 명시합니다.

속성 sh:uniqueLang는, 존재하는 경우 텍스트 방향까지 고려하여, 같은 언어 태그를 사용하는 값 노드 쌍이 없어야 함을 지정하기 위해 true로 설정됩니다.

제약 컴포넌트 IRI: sh:UniqueLangConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:memberShape는 SHACL 목록 값 노드의 모든 구성원이 주어진 노드 셰이프에 부합해야 함을 지정합니다.

제약 컴포넌트 IRI: sh:MemberShapeConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

$memberShape에 부합하지 않는 값 노드 v의 각 구성원 m은 v에 대한 검증 결과 안에서 별도의 sh:detail로 보고되어야 합니다. v가 유효한 SHACL 목록이 아니라면, 이는 최상위 검증 결과로 보고되어야 하며, 개별 구성원 검증은 시도하지 않아야 합니다.

검증 결과에서 sh:detail을 생성하는 방법의 예는 SHACL 테스트 스위트의 sh:memberShape 테스트 케이스에서 찾을 수 있습니다: memberShape-001.ttl.

다음 예제에서는 속성 ex:speakerOrder의 모든 값이 구성원이 IRI인 SHACL 목록이어야 합니다.

sh:minListLength는 SHACL 목록 값 노드가 가져야 하는 구성원의 최소 개수를 지정합니다.

제약 컴포넌트 IRI: sh:MinListLengthConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제에서는 속성 ex:skills의 모든 값이 최소 1개의 구성원을 가진 SHACL 목록이어야 합니다. sh:minListLength에 대한 추가 테스트 케이스는 SHACL 테스트 스위트에서 찾을 수 있습니다: minListLength-001.ttl.

sh:maxListLength는 SHACL 목록 값 노드가 가져야 하는 구성원의 최대 개수를 지정합니다.

제약 컴포넌트 IRI: sh:MaxListLengthConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제에서는 속성 ex:hobbies의 모든 값이 최대 2개의 구성원을 가진 SHACL 목록이어야 합니다. sh:maxListLength에 대한 추가 테스트 케이스는 SHACL 테스트 스위트에서 찾을 수 있습니다: maxListLength-001.ttl.

sh:uniqueMembers는 SHACL 목록 값 노드가 고유한 구성원을 가져야 하는지 여부를 지정합니다.

제약 컴포넌트 IRI: sh:UniqueMembersConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

목록 v의 각 중복 구성원 m은 v에 대한 검증 결과 안에서 별도의 sh:detail로 보고되어야 합니다. 목록 v가 유효한 SHACL 목록이 아니라면, 이는 최상위 검증 결과로 보고되어야 하며, 고유 구성원 검증은 시도하지 않아야 합니다.

검증 결과에서 sh:detail을 생성하는 방법의 예는 SHACL 테스트 스위트의 sh:uniqueMembers 테스트 케이스에서 찾을 수 있습니다: uniqueMembers-001.ttl.

다음 예제에서는 속성 ex:preferences의 모든 값이 각 SHACL 목록 안에서 고유한 값을 가지는 구성원을 가진 SHACL 목록이어야 합니다.

sh:equals는 모든 값 노드의 집합이 sh:equals를 사용하여 지정된 SHACL 속성 경로를 통해 포커스 노드에서 도달할 수 있는 노드 집합과 같아야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:EqualsConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 특정 포커스 노드가 ex:firstName과 ex:givenName에 대해 같은 값 집합을 가져야 함을 지정하기 위해 셰이프에서 sh:equals를 사용하는 방법을 설명합니다.

다음 예제는 SHACL 속성 경로가 sh:path와 sh:equals의 값으로 모두 사용될 수 있음을 보여 줍니다.

sh:disjoint는 값 노드 집합이 sh:disjoint의 값인 SHACL 속성 경로를 통해 포커스 노드에서 도달할 수 있는 노드 집합과 서로소라는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:DisjointConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 특정 포커스 노드가 ex:prefLabel과 ex:altLabel에 대해 어떤 값도 공유할 수 없음을 지정하기 위해 셰이프에서 sh:disjoint를 사용하는 방법을 설명합니다.

sh:subsetOf는 모든 값 노드가 sh:subsetOf를 사용하여 지정된 SHACL 속성 경로를 통해 포커스 노드에서 도달 가능해야 역시 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:SubsetOfConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 어떤 사람의 가장 좋아하는 자녀가 실제 자녀들 중 하나여야 함을 지정하기 위해 셰이프에서 sh:subsetOf를 사용하는 방법을 설명합니다.

sh:lessThan는 각 값 노드가 sh:lessThan의 값인 SHACL 속성 경로를 통해 포커스 노드에서 도달할 수 있는 모든 노드보다 작아야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:LessThanConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 ex:startDate의 모든 값이 ex:endDate의 값보다 "이전"이어야 함을 지정하기 위해 셰이프에서 sh:lessThan를 사용하는 방법을 설명합니다.

sh:lessThanOrEquals는 각 값 노드가 sh:lessThanOrEquals의 값인 SHACL 속성 경로를 통해 포커스 노드에서 도달할 수 있는 모든 노드보다 작거나 같아야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:LessThanOrEqualsConstraintComponent

sh:not는 각 값 노드가 주어진 셰이프에 부합할 수 없다는 조건을 지정합니다. 이는 부정 및 논리 "not" 연산자와 비슷합니다.

제약 컴포넌트 IRI: sh:NotConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 특정 포커스 노드가 ex:property의 어떤 값도 가질 수 없다는 조건을 지정하기 위해 셰이프에서 sh:not를 사용하는 방법을 설명합니다.

sh:and는 각 값 노드가 제공된 모든 셰이프에 부합해야 한다는 조건을 지정합니다. 이는 논리곱 및 논리 "and" 연산자와 비슷합니다.

제약 컴포넌트 IRI: sh:AndConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:and가 값으로 셰이프들의 SHACL 목록을 가지지만, 그 셰이프들의 순서는 검증 결과에 영향을 주지 않는다는 점에 유의하십시오. 단축 평가 의미론을 사용하는 구현에서는 그 순서가 검증 효율에 영향을 줄 수 있습니다. 평가하기 더 쉽거나 실패할 가능성이 더 높은 제약을 목록의 앞쪽에 두는 것이 좋습니다.

다음 예제는 특정 포커스 노드가 ex:property의 값을 정확히 하나 가져야 한다는 조건을 지정하기 위해 셰이프에서 sh:and를 사용하는 방법을 설명합니다. 이는 최소 개수를 지정하는 별도의 명명된 셰이프(ex:SuperShape)와 추가로 최대 개수를 지정하는 속성 셰이프의 논리곱을 통해 달성됩니다. 여기에서 보듯이 sh:and는 셰이프 간 특수화 메커니즘을 구현하는 데 사용할 수 있습니다.

sh:or는 각 값 노드가 제공된 셰이프 중 적어도 하나에 부합해야 한다는 조건을 지정합니다. 이는 논리합 및 논리 "or" 연산자와 비슷합니다.

제약 컴포넌트 IRI: sh:OrConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:or가 값으로 셰이프들의 SHACL 목록을 가지지만, 그 셰이프들의 순서는 검증 결과에 영향을 주지 않는다는 점에 유의하십시오. 단축 평가 의미론을 사용하는 구현에서는 그 순서가 검증 효율에 영향을 줄 수 있습니다. 평가하기 더 쉽거나 성공할 가능성이 더 높은 제약을 목록의 앞쪽에 두는 것이 좋습니다.

다음 예제는 특정 포커스 노드가 ex:firstName의 값을 적어도 하나 가지거나, ex:givenName의 값을 적어도 하나 가져야 한다는 조건을 지정하기 위해 셰이프에서 sh:or를 사용하는 방법을 설명합니다.

다음 예제는 주어진 속성 ex:address의 값이 데이터타입 xsd:string을 가진 리터럴이거나 클래스 ex:Address의 SHACL 인스턴스일 수 있음을 나타내기 위해 속성 셰이프에서 sh:or를 사용할 수 있음을 보여 줍니다.

SHACL의 모든 제약은 실행 시 AND 처리된다는 점에 유의하십시오. 다음 예제를 고려하십시오:

올바른 해석은 (shapeA OR shapeB) AND (shapeC OR shapeD)입니다. 대상 노드는 shapeA 또는 shapeB에 부합해야 하며, 또한 shapeC 또는 shapeD에도 부합해야 합니다.

sh:xone은 각 값 노드가 제공된 셰이프 중 정확히 하나에 부합해야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:XoneConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:xone이 값으로 셰이프들의 SHACL 목록을 가지지만, 그 셰이프들의 순서는 검증 결과에 영향을 주지 않는다는 점에 유의하십시오.

다음 예제는 특정 포커스 노드가 ex:fullName에 대한 값을 가지거나, ex:firstName 및 ex:lastName에 대한 값을 가져야 하지만, 둘 다 가져서는 안 된다는 조건을 지정하기 위해 셰이프에서 sh:xone을 사용하는 방법을 설명합니다.

sh:node는 각 값 노드가 주어진 노드 셰이프에 부합해야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:NodeConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 속성 셰이프에서 sh:node를 사용하는 방법을 설명합니다. 속성 ex:address의 모든 값은 셰이프 ex:AddressShape가 표현한 제약을 충족해야 합니다.

다음 예제는 노드 셰이프에서 sh:node를 사용하는 방법을 설명합니다.

SHACL에서 재귀적 셰이프를 처리하는 방법은 6.5.3 재귀적 셰이프의 처리를 참조하십시오.

sh:property는 각 값 노드가 주어진 속성 셰이프를 가져야 함을 지정하는 데 사용할 수 있습니다.

제약 컴포넌트 IRI: sh:PropertyConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:property와 sh:node 사이에는 중요한 차이가 있다는 점에 유의하십시오: 값 노드가 제약을 위반하는 경우, sh:node에 대해서는 이 값 노드에 대해 sh:NodeConstraintComponent를 sh:sourceConstraintComponent로 가지는 검증 결과가 하나만 있습니다. 반면 sh:property에 대해서는 검증 결과가 임의의 개수만큼 있을 수 있으며, 이들은 속성 셰이프 안의 제약의 개별 제약 컴포넌트를 sh:sourceConstraintComponent 값으로 가집니다.

다른 모든 검증 결과와 마찬가지로, 속성 셰이프가 sh:property를 통해 도달될 때마다, 검증 엔진은 새로운 검증 결과 노드를 생성해야 MUST 합니다. 이는 같은 포커스 노드가 같은 속성 셰이프에 대해 검증되지만 셰이프 그래프 안의 다른 경로를 통해 도달되는 경우도 포함합니다.

sh:someValue는 적어도 하나의 값 노드가 주어진 셰이프에 부합해야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:SomeValueConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

구현은 값 노드 중 하나가 부합하는 즉시 값 노드 처리를 중단할 수 있다는 점에 유의하십시오. 값 노드 집합 안의 노드 순서는 정의되어 있지 않으므로, 실패를 일으킬 노드에 도달한다는 보장은 없습니다. 따라서 처리를 예측 가능하게 만들기 위해, 모든 값 노드를 성공 없이 방문한 경우가 아니라면 실패는 조용히 무시됩니다.

다음 예제에서 ex:DuckFarmerShape에 부합하는 모든 노드는 ex:Duck의 SHACL 인스턴스인 ex:tendsAnimal 값을 적어도 하나 가져야 합니다.

sh:someValue는 sh:qualifiedValueShape와 sh:qualifiedMinCount 1의 조합을 위한 구문 설탕으로 간주할 수 있습니다.

또한 sh:someValue는 속성 셰이프에서 사용할 때 주로 의미가 있다는 점에 유의하십시오. 노드 셰이프에서 sh:someValue는 sh:node 또는 sh:property를 사용하는 것과 동등합니다.

sh:qualifiedValueShape는 지정된 수의 값 노드가 주어진 셰이프에 부합해야 한다는 조건을 지정합니다. 각 sh:qualifiedValueShape는 같은 주어에서 sh:qualifiedMinCount에 대한 값 하나, sh:qualifiedMaxCount에 대한 값 하나, 또는 각각에 대한 값 하나씩을 가질 수 있습니다.

이 섹션의 나머지 부분은 비규범입니다.

다음 예제 셰이프는 속성 ex:parent가 정확히 두 개의 값을 가지고, 그중 적어도 하나가 여성이라는 조건을 지정하는 데 사용할 수 있습니다.

다음 예제는 sh:qualifiedValueShapesDisjoint를 사용하여 손이 ex:digit의 값을 최대 5개 가져야 하고(sh:maxCount를 사용하여 표현), 그중 정확히 하나는 ex:Thumb의 인스턴스여야 하며, 정확히 4개는 ex:Finger의 인스턴스여야 하고, 엄지와 손가락은 서로소여야 함을 표현하는 방법을 설명합니다. 즉, 한 손에서 어떤 손가락도 엄지로 함께 계산될 수 없습니다.

sh:reifierShape는 속성 셰이프를 하나 이상의 노드 셰이프와 연결하는 데 사용할 수 있습니다. 모든 구상화자는 이러한 노드 셰이프에 부합해야 합니다.

제약 컴포넌트 IRI: sh:ReifierShapeConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

RDF 데이터 모델은 엄청난 유연성을 제공합니다. 어떤 노드든 원칙적으로 어떤 속성에 대해서도 값을 가질 수 있습니다. 그러나 어떤 경우에는 어떤 속성이 노드에 적용될 수 있는지에 대한 조건을 지정하는 것이 합리적입니다. SHACL Core 언어에는 각 값 노드가 sh:property를 통해 셰이프에 지정된 속성 셰이프를 통해 명시적으로 열거된 속성에 대해서만 값을 가진다는 조건을 지정하는 데 사용할 수 있는 sh:closed라는 속성이 포함되어 있습니다.

제약 컴포넌트 IRI: sh:ClosedConstraintComponent

function collectProperties(S)
    SPARQL 경로 sh:property/sh:path를 통해 S에서 도달할 수 있는
            모든 IRI 속성을 추가
    if S is a SHACL instance of rdfs:Class in the shapes graph {
        for each triple in the shapes graph matching (S rdfs:subClassOf ?o)
            collectProperties(?o)
        for each triple in the shapes graph matching (?s sh:targetClass S)
            collectProperties(?s)
    }
    if S is a SHACL instance of sh:NodeShape in the shapes graph
        for each triple in the shapes graph matching (S sh:node ?o)
            collectProperties(?o)

for each rdf:type T of the value node in the data graph
    collectProperties(T)

이 섹션의 나머지 부분은 비규범입니다.

다음 예제는 특정 포커스 노드가 ex:firstName과 ex:lastName에 대해서만 값을 가진다는 조건을 지정하기 위해 셰이프에서 sh:closed를 사용하는 방법을 설명합니다. "무시되는" 속성 rdf:type도 허용됩니다.

sh:closed sh:ByTypes의 사용 사례에는 현재 값 노드 타입의 상위 클래스 (rdfs:subClassOf를 통해)에 선언된 속성뿐 아니라, sh:targetClass를 통해 그 타입에 연결된 다른 셰이프와 sh:node를 통해 한 노드 셰이프에서 다른 노드 셰이프로 도달할 수 있는 셰이프가 포함됩니다. sh:ByTypes의 예는 테스트 케이스 라이브러리에서 찾을 수 있습니다: closed-003.ttl, closed-004.ttl.

sh:hasValue는 적어도 하나의 값 노드가 주어진 RDF 용어와 같아야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:HasValueConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:in은 각 값 노드가 제공된 SHACL 목록의 구성원이라는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:InConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

리터럴의 일치는 정확해야 한다는 점에 유의하십시오. 예를 들어 "04"^^xsd:byte는 "4"^^xsd:integer와 일치하지 않습니다.

sh:rootClass가 지정하는 조건은 각 값 노드가 주어진 클래스이거나 그 클래스의 (전이적) 하위 클래스라는 것입니다.

제약 컴포넌트 IRI: sh:RootClassConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

sh:rootClass 제약은 일반적으로 값으로 클래스를 가질 수 있는 속성 셰이프(예: sh:class rdfs:Class를 통해)와 함께 사용되어 값 노드에 허용된 하위 클래스 계층을 제한합니다. 주어진 클래스는 허용된 클래스 계층의 상한 역할을 합니다.

sh:uniqueValuesFor는 값 노드의 하나 이상의 지정된 속성 값이 현재 셰이프의 모든 대상 노드 안에서 고유해야 한다는 조건을 지정합니다.

제약 컴포넌트 IRI: sh:UniqueValuesForConstraintComponent

이 섹션의 나머지 부분은 비규범입니다.

리터럴의 일치는 정확해야 한다는 점에 유의하십시오. 예를 들어 "04"^^xsd:byte는 "4"^^xsd:integer와 일치하지 않습니다. 또한 sh:uniqueValuesFor는 이러한 값의 존재를 규정하지 않으므로 보통 sh:minCount 1 제약과 함께 사용됩니다.

대상 노드의 계산은 셰이프의 정의, 예를 들어 sh:uniqueValuesFor 제약도 보유하는 셰이프의 sh:targetClass 선언에만 의존한다는 점에 유의하십시오.