#649: Fixed definitions to singular, added uniqueness (#668)

* #649: Fixed definitions to singular, added uniqueness

* Update shacl12-sparql/index.html

Co-authored-by: Andy Seaborne <[email protected]>

* Deleted unused definitions of Binding and Solution from CORE

Also some minor formatting clean up and removal of an outdated TODO

---------

Co-authored-by: Andy Seaborne <[email protected]>

Author: HolgerKnublauch

shacl12-core/index.html

@@ -297,15 +297,7 @@ <h3>Terminology</h3>
 					</div>
 				</div>
 				<div class="def">
-					<div class="term-def-header">Binding, Solution</div>
-					<div>
-						A <dfn data-lt="bindings">binding</dfn> is a pair (<a data-cite="sparql12-query/#defn_QueryVariable">variable</a>, <a>RDF term</a>), consistent with the term's use in [[!sparql12-query]].
-					    A <dfn data-lt="solutions">solution</dfn> is a set of bindings, informally often understood as one row in the body of the result table of a SPARQL query.
-					    Variables are not required to be bound in a solution.
-					</div>
-				</div>
-				<div class="def">
-				<div class="term-def-header">SHACL Subclass, SHACL superclass</div>
+					<div class="term-def-header">SHACL Subclass, SHACL superclass</div>
 					<div>
 						A <a>node</a> <code>Sub</code> in an <a>RDF graph</a> is a <dfn data-lt="SHACL subclass|subclass|subclasses">SHACL subclass</dfn> of another <a>node</a> <code>Super</code>
 						in the <a>graph</a> if there is a sequence of <a>triples</a> in the <a>graph</a> each with predicate <code>rdfs:subClassOf</code> such that the <a>subject</a> of the first <a>triple</a> is <code>Sub</code>,

shacl12-sparql/index.html

@@ -154,16 +154,12 @@
 				by means of SPARQL.
 				In particular, this document defines how constraints and constraint components can be defined using SPARQL.
 			</p>
-			<p class="todo">
-				TODO: More will be added on Node Expressions/targets once that part is ready.
-				Other features from SHACL-AF such as user-defined functions may get added.
-			</p>
 		</section>
 
 		<section id="sotd">
 		</section>
 
-    <section id="specifications" class="introductory" data-include="../shacl12-common/specifications.html"></section>
+    	<section id="specifications" class="introductory" data-include="../shacl12-common/specifications.html"></section>
 
 		<section id="introduction">
 			<h2>Introduction</h2>
@@ -244,9 +240,9 @@ <h3>Terminology</h3>
 				<div class="def">
 					<div class="term-def-header">Binding, Solution</div>
 					<div>
-						A <dfn data-lt="bindings">binding</dfn> is a pair (<a data-cite="sparql12-query/#defn_QueryVariable">variable</a>, <a>RDF term</a>), consistent with the term's use in [[!sparql12-query]].
-					    A <dfn data-lt="solutions">solution</dfn> is a set of bindings, informally often understood as one row in the body of the result table of a SPARQL query.
-					    Variables are not required to be bound in a solution.
+						A <dfn>binding</dfn> is a pair (<a data-cite="sparql12-query/#defn_QueryVariable">variable</a>, <a>RDF term</a>), consistent with the term's use in [[!sparql12-query]].
+					    A <dfn>solution</dfn> is a set of bindings where each variable must be unique.
+						Informally, a solution is often understood as one row in the body of the result table of a SPARQL query.
 					</div>
 				</div>