diff --git a/spec/index.html b/spec/index.html index e50dc65..bb7d41c 100644 --- a/spec/index.html +++ b/spec/index.html @@ -855,7 +855,7 @@

RDF Graphs

An RDF graph is a set of RDF triples.

An [=RDF triple=] that is an element of an [=RDF graph=] is also said to be asserted in that [=RDF graph=] + >asserted in that [=RDF graph=].

@@ -883,6 +883,11 @@

Triples

The three components (|s|, |p|, |o|) of an [=RDF triple=] are respectively called the subject, predicate and object of the triple.

+

The definition of triple is recursive. + That is, a triple can itself have an + object component which is another triple. + However, by this definition, cycles of triples cannot be created.

+

The set of nodes of an RDF graph is the set of subjects and objects of the asserted triples of the graph. It is possible for a [=predicate=] [=IRI=] to also occur as a [=node=] in @@ -898,11 +903,6 @@

Triples

  • |o| and o' are [=RDF term equality|equal=].
  • - -

    The definition of triple is recursive. - That is, a triple can itself have an - object component which is another triple. - However, by this definition, cycles of triples cannot be created.