Re: "entails" clearer than "subgraph" in defn Graph Pattern Match

Dan Connolly wrote:
> I'm going over the definitions, and in the case of...
> 
> "Graph Pattern GP matches RDF graph G with substitution S if S(GP) is a
> subgraph of G."
> 
> I think entails is clearer:
> 
> "Graph Pattern GP matches RDF graph G with substitution S if G
> simply entails S(GP)."

OK - done v1.139

	Andy

> 
> with simply entails linked to
>  http://www.w3.org/TR/rdf-mt/#defentail
> 
> 
> p.s. a public comment asked
> "which definition of subgraph does SPARQL use - the standard one from
> graph
> theory or the expansive one used in RDF semantics in the presence of bnode
> relabelling?"
> http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2004Oct/0003.html
> 
> it's the one with relabelling. So subgraph is perhaps misleading.
>