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)
		iff
	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.

jan

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. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287163 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk
Strive to live every day as though it was last Wednesday.