Re: Intended behavior for invalid IRI in "GRAPH <iri> { } block

On Nov 15, 2013, at 9:23 AM, Thomas Visel <tvisel@algebraixdata.com> 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)