Definitions and linking of binding and solution #649
Description
The definition of binding is id="#dfn_bindings" and the singular does not link. This is needed for reference from other documents.
It should be <dfn>binding</dfn> and reSpec will also allow the plural within the document.
"solutions" has the same linkingissue.
The definition of "solution" is incomplete and not compatible with SPARQL.
It is defined as a set of pairs but does not say that the the variables of the pairs are unique.The current definition allows (?x, 1), (?x , 2).
SPARQL section may help:
http://w3.org/TR/sparql12-query/#defn_sparqlSolutionMapping:
A solution mapping, μ, is a partial function μ : V → T, where V is the set of all variables and T is the set of all RDF terms.
SHACL says:
"Variables are not required to be bound in a solution." so (?x , _nothing_) is legal.