UKOLN Abstract model of RDF layer 1

(based upon layer 0 definitions)

Layer 1 theory assigns meaning to the atoms contained within the following subsets:


Define a set Triples that is the union of T(`C, i) for all i:

Triples := T(`C, N) where N is the set of natural numbers.

The reification of a triple t = (t1, t2, t3) Î Triples is a description of some node n given by:

È (Ti,1(`C, N ) Ç Tn,2(`C, N ) Ç Tj,3(`C, N )),
i = RDF:PropName, j = t1
i = RDF:PropObj, j = t2
i = RDF:PropValue, j = t3
i = RDF:InstanceOf, j = t4,
and N is the set of natural numbers.

Collections of nodes

A collection of nodes list = (n1, n2, n3, ..., nk) is modelled as a description of an arbitrary node n. Call this description collection, then:

collection Ì Tn, 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 (ni), n, ni), 1 £ i £ k, m (ni) ¹ undef },

and (RDF:1, n, n1) Î C if and only if C ' (RDF:Alt, n, a).