[data-shapes] Definitions and linking of `binding` and `solution` (#649)

afs has just created a new issue for https://github.com/w3c/data-shapes:

== Definitions and linking  of `binding` and `solution` ==
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](w3.org/TR/sparql12-query/#defn_sparqlSolutionMapping) 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](https://www.w3.org/TR/sparql12-query/#defn_QueryVariable) and T is the set of all [RDF terms](https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-terms).

SHACL says:

"Variables are not required to be bound in a solution." so `(?x , _nothing_)` is legal.


Please view or discuss this issue at https://github.com/w3c/data-shapes/issues/649 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Sunday, 16 November 2025 11:48:40 UTC