experimental mods to validation definition

Author: kcoyle

shacl/index.html

@@ -1384,23 +1384,24 @@ <h4>Defining Messages for a Constraint</h4>
 			<h2>Validation and Graphs</h2>
 			<p>
 				The definition for <dfn data-lt="validation|validates|validated|validate">validating</dfn> a <a>data graph</a>
-				against a <a>shapes graph</a> as well as a <a>node</a> from the data graph against a <a>shape</a> from the shapes graph is provided below:
+				against a <a>shapes graph</a> as well as a <a>node</a> from the data graph against a <a>shape</a> from the shapes graph is provided below. The result of a validation is either "successful" or "not successful":
 			</p>
 
 			<div id="def-validation" class="def def-text">
 				<div class="def-header">VALIDATION DEFINITION</div>
 				<div class="def-text-body">
-					Validation is the process of determining whether a <a>data graph</a>, or <a>nodes</a> in the <a>data graph</a>, validate against a <a>shapes graph</a>.
+					Validation is the process of determining whether a <a>data graph</a>, or <a>nodes</a> in the <a>data graph</a>, is consistent with the constraints in a <a>shapes graph</a>. 
+					Data graphs or nodes that are consistent with the constraints in the shapes graph are said to "successfully validate"; those that are not consistent are said to "not successfully validate".
 					<ul>
-						<li>A <a>node</a> validates against a <a>shape</a> if and only if
-							either it does not validate against some <a>filter</a> of the shape
-							or none of the <a>constraints</a> in the shape produce a <a>validation result</a> or a <a>failure</a> for the node.
+						<li>A <a>node</a> successfully validates against a <a>shape</a> if and only if
+							either it does not successfully validate against some <a>filter</a> of the shape,
+							or if none of the <a>constraints</a> in the shape produce either a <a>validation result</a> or a <a>failure</a> for the node.
 						</li>
-						<li>A <a>data graph</a> validates against a <a>shape</a> if and only if
-							each node that is in any of the <a>targets</a> of the shape validates against the shape.
+						<li>A <a>data graph</a> successfully validates against a <a>shape</a> if and only if
+							each node that is in <del>any</del>(all?) of the <a>targets</a> of the shape validates against the shape.
 						</li>
-						<li>A <a>data graph</a> validates against a <a>shapes graph</a> if and only if
-							the data graph validates against each <a>shape</a> in the shapes graph.
+						<li>A <a>data graph</a> successfully validates against a <a>shapes graph</a> if and only if
+							the data graph successfully validates against each <a>shape</a> in the shapes graph.
 						</li>
 					</ul>
 				</div>
@@ -1418,7 +1419,7 @@ <h2>Validation and Graphs</h2>
 			</p>
 			<p>
 				To validate a data graph against the shapes graph, a SHACL processor requires the shapes graph and the data graph as arguments for the validation process.
-				Optionally, two additional arguments may be provided for validating a specific node from the data graph against a specific shape from the shapes graph.
+				Optionally, two additional arguments(which ones?) may be provided for validating a specific node from the data graph against a specific shape from the shapes graph.
 			</p>
 			<p>
 				SHACL can be used with RDF graphs that are obtained by any means, e.g. from the file system, HTTP requests, or <a href="http://www.w3.org/TR/rdf11-concepts/#section-dataset">RDF datasets</a>.