definition of neigh is redundant?

shexSpec / spec

ShEx specification

https://shexspec.github.io/spec/

Other

16 stars 9 forks source link

definition of neigh is redundant? #63

Open ericprud opened 4 months ago

ericprud commented 4 months ago

Up top in Terminology we have:

neigh(G, n) is the neighbourhood of the node n in the graph G. neigh(G, n) = arcsOut(G, n) ∪ arcsIn(G, n).

5.3.2 has:

For a node n of the graph G, we define neigh(n) as the set of triples adjacent to n in the graph; these are the triples that have n either as subject or as object.