Fixing the definition of instance of a graph to consider triple terms

[franconi]

The definition of instance of a graph should be fixed to include triple terms as follows:

Suppose that M is a functional mapping from a set of blank nodes to some set of RDF terms. Any graph obtained from a graph G by replacing some or all of the blank nodes N in G by M(N) is an instance of G.

[pfps]

What is the definition of "in" here?

[franconi]

N in G if N appears in the parse tree of G.
I guess that the same sort of ambiguity happens also in the RDF 1.1 spec.

[pfps]

And what is the "parse tree"?

[franconi]

Ok, so your issue is not about the change introduced by the new formulation, but about part of the formulation which was present before already; fair enough.

We could either mention the grammar (e.g., it appears as a RDF term in the graph) or explicitly write the inductive definition of "appears in", which is used elsewhere in the semantics document. Maybe this latter approach would be better.