Re: abstract model

On Mon, 11 Sep 2000, McBride, Brian wrote:

> 6.  There is a mapping called Reification which a maps
>     each member s of Statements onto a unique member r
>     of Resources.  r is known as the reficiation of s.
>     Here unique means given s1 and s2 members of
>     Statements, Reification(s1) = Reification(s2) iff
>     s1 = s2. 

I don't read the RDF spec to imply this. Instead something like:

	there is a relationship Reifies over {(r,s)} where
	r Reifies s (wrt a model m)
	m contains the statements
		r -[rdf:subject]-> (subject(s))
		r -[rdf:predicate]-> ...etc

in other words, "a reification" instead of "the reification" is the
right way to look at this.


PS. the reason I prefer this weaker definition is because I'm slightly
cautious about the mechanics of retrieving s given only the URI of its
reification, r.

jan grant, ILRT, University of Bristol.
Tel +44(0)117 9287163 Fax +44 (0)117 9287112 RFC822
Strive to live every day as though it was last Wednesday.

Received on Tuesday, 12 September 2000 06:03:19 UTC