On Nov 15, 2013, at 9:23 AM, Thomas Visel <[email protected]> wrote:
> I do not find this addressed in the spec anywhere, nor is it in the WG
> archives.
18.2.2.6
If the form is GRAPH IRI GroupGraphPattern
The result is Graph(IRI, Translate(GroupGraphPattern))
18.6
Definition: Evaluation of Graph
if IRI is a graph name in D
eval(D(G), Graph(IRI,P)) = eval(D(D[IRI]), P)
if IRI is not a graph name in D
eval(D(G), Graph(IRI,P)) = the empty multiset
eval(D(G), Graph(var,P)) =
Let R be the empty multiset
foreach IRI i in D
R := Union(R, Join( eval(D(D[i]), P) , Ω(?var->i) )
the result is R
That seems clear and unambiguous to me … just not necessarily helpful (and
section 18 is not an easy read :( )
(I haven't traced through how FROM NAMED modifies D, I expect that is as clear,
but it is not the focus of your question)
