Triples := T(`C, N) where N is the set of natural numbers.
The reification of a triple t = (t_{1}, t_{2}, t_{3}) Î Triples is a description of some node n given by:
È | (T_{i,1}(`C, N ) Ç T_{n,2}(`C, N ) Ç T_{j,3}(`C, N )), |
i = RDF:PropName, j = t_{1}
i = RDF:PropObj, j = t_{2} i = RDF:PropValue, j = t_{3} i = RDF:InstanceOf, j = t_{4}, and N is the set of natural numbers. |
collection Ì T_{n, 2} (`C).
There is an injection, m: N ® Ord È {undef} (for undef Î atoms) and collection is defined:
collection := {(RDF:InstanceOf, n, a), a Î {RDF:Seq, RDF:Bag, RDF:Alt}} È {(m (n_{i}), n, n_{i}), 1 £ i £ k, m (n_{i}) ¹ undef },
and (RDF:1, n, n_{1}) Î C if and only if C ' (RDF:Alt, n, a).