Skip to content

Commit

Permalink
ISSUE-182: Edits in response to Karen
Browse files Browse the repository at this point in the history
  • Loading branch information
@HolgerKnublauch
HolgerKnublauch committed Oct 6, 2016
1 parent fa0d392 commit 71073d0
Showing 1 changed file with 46 additions and 23 deletions.
69 changes: 46 additions & 23 deletions shacl/index.html
View file
Expand Up @@ -639,7 +639,8 @@ <h3>SHACL Example</h3>
to suggest a human-readable name for the property when used in the inverse direction.
</p>
<p>
SHACL <a>validation</a> based on the provided <a>data graph</a> and <a>shapes graph</a> would produce the following <a>validation results</a>:
SHACL <a>validation</a> based on the provided <a>data graph</a> and <a>shapes graph</a> would produce the following <a>validation results</a>.
See the section <a href="#validation-report">Validation Report</a> for details on the format including the property <code>sh:severity</code>.
</p>
<pre class="example-results">
[ a sh:ValidationResult ;
Expand All @@ -649,14 +650,14 @@ <h3>SHACL Example</h3>
sh:path ex:ssn ;
sh:value "987-65-432A" ;
sh:severity sh:Violation ;
] ;
] .
[ a sh:ValidationResult ;
sh:sourceConstraintComponent sh:MaxCountConstraintComponent ;
sh:sourceShape ex:PersonShape ;
sh:focusNode ex:Bob ;
sh:path ex:ssn ;
sh:severity sh:Violation ;
] ;
] .
[ a sh:ValidationResult ;
sh:sourceConstraintComponent sh:ClosedConstraintComponent ;
sh:sourceShape ex:PersonShape ;
Expand Down Expand Up @@ -760,17 +761,17 @@ <h2>Shapes</h2>
A <a>node</a> in the <a>data graph</a> that is validated against a <a>shape</a> is called a <dfn data-lt="focus node|focus nodes">focus node</dfn>.
</p>
<p>

The set of <a>focus nodes</a> for a <a>shape</a> may be:
<ul>
<li>defined explicitly in a <a>shape</a> using <a>targets</a> and <a>filters</a>,</li>
<li>determined as part of the <a>validation</a> of <a>constraints</a> that include references to <a>shapes</a>
from <a href="#constraints-shape">shape-based constraint components</a> (i.e. <code>sh:shape</code>) or
<a href="#constraints-shape">logical constraint components</a> (i.e. <code>sh:or</code>),</li>
<li>provided as input to the SHACL processor for validating specific nodes from the <a>data graph</a> against the shape, or</li>
<li>computed through the evaluation of the <code>sh:hasShape</code> SPARQL function.</li>
</ul>

</p>
<ul>
<li>defined explicitly in a <a>shape</a> using <a>targets</a> and <a>filters</a>,</li>
<li>determined as part of the <a>validation</a> of <a>constraints</a> that include references to <a>shapes</a>
from <a href="#constraints-shape">shape-based constraint components</a> (i.e. <code>sh:shape</code>) or
<a href="#constraints-shape">logical constraint components</a> (i.e. <code>sh:or</code>),</li>
<li>provided as input to the SHACL processor for validating specific nodes from the <a>data graph</a> against the shape, or</li>
<li>computed through the evaluation of the <code>sh:hasShape</code> SPARQL function.</li>
</ul>
<p>
<!--Shape targets define the selection criteria for the targetted nodes.
Shapes with targets MAY additionally provide <a>filters</a>.
Filter shapes further refine the focus nodes to the ones that conform to a set of filter shapes.-->
Expand Down Expand Up @@ -808,13 +809,11 @@ <h3>Targets</h3>
<p>
While targets define the starting points of the validation process,
some shapes may validate
<ul>
<li>less focus nodes when a shapes defines <a>filters</a>, or</li>
<li>additional focus nodes against different shapes, for example when referenced via <a href="#ShapeConstraintComponent">sh:shape</a> and <a href="#OrConstraintComponent">sh:or</a>.</li>
</ul>


</p>
<ul>
<li>less focus nodes when a shapes defines <a>filters</a>, or</li>
<li>additional focus nodes against different shapes, for example when referenced via <a href="#ShapeConstraintComponent">sh:shape</a> and <a href="#OrConstraintComponent">sh:or</a>.</li>
</ul>

<p>
When multiple <a>targets</a> are provided in a <a>shape</a>, the target of a shape is the union of all nodes produced by these individual targets.
Expand Down Expand Up @@ -1439,8 +1438,9 @@ <h4>Path (sh:path)</h4>
<section id="results-value">
<h4>Value (sh:value)</h4>
<p>
Validation results may have a value for the property <code>sh:value</code> pointing at a specific <a>node</a> that has caused the result.
For example, validation results produced as a result of a <code>sh:nodeKind</code> constraint use <code>sh:value</code> to point at the <a>value node</a> that does not have the correct node kind,
Validation results may have zero or one values for the property <code>sh:value</code>.
The <a>object</a> of a <a>triple</a> that has <code>sh:value</code> as its <a>predicate</a> and a validation result as its <a>subject</a> is the specific <a>node</a> that has caused the result.
For example, validation results produced as a result of a <code>sh:nodeKind</code> constraint use <code>sh:value</code> with the <a>value node</a> that does not have the correct node kind as its <a>object</a>,
while results produced due to a <code>sh:minCount</code> violation do not use <code>sh:value</code> because there is no individual node that could be mentioned.
</p>
</section>
Expand Down Expand Up @@ -1514,6 +1514,7 @@ <h4>Declaring the Severity of a Constraint</h4>
<pre class="example-shapes">
ex:MyShape
a sh:Shape ;
sh:targetNode ex:MyInstance ;
sh:property [
# Violations of either minCount and datatype are produced as warnings
sh:predicate ex:myProperty ;
Expand All @@ -1522,10 +1523,32 @@ <h4>Declaring the Severity of a Constraint</h4>
sh:severity sh:Warning ;
] ;
sh:property [
# The default severity is sh:Violation
# The default severity here is sh:Violation
sh:predicate ex:myProperty ;
sh:maxCount 1 ;
sh:maxLength 10 ;
] .</pre>
<pre class="example-data">
ex:MyInstance
ex:myProperty "http://toomanycharacters"^^xsd:anyURI .</pre>
<pre class="example-results">
[
a sh:ValidationResult ;
sh:focusNode ex:MyInstance ;
sh:path ex:myProperty ;
sh:severity sh:Warning ;
sh:sourceConstraintComponent sh:DatatypeConstraintComponent ;
sh:sourceShape ex:MyShape ;
sh:value "http://toomanycharacters"^^xsd:anyURI ;
] .
[
a sh:ValidationResult ;
sh:focusNode ex:MyInstance ;
sh:path ex:myProperty ;
sh:severity sh:Violation ;
sh:sourceConstraintComponent sh:MaxLengthConstraintComponent ;
sh:sourceShape ex:MyShape ;
sh:value "http://toomanycharacters"^^xsd:anyURI ;
] .</pre>
</section>
</section>
</section>
Expand Down

0 comments on commit 71073d0

Please sign in to comment.