- From: Graham Klyne <GK@NineByNine.org>
- Date: Wed, 05 Sep 2001 14:38:25 +0100
- To: Pat Hayes <phayes@ai.uwf.edu>
- Cc: RDF core WG <w3c-rdfcore-wg@w3.org>
(Not strictly a WG topic for now, but I wanted to test my understanding...) In the 28-Aug MT draft, section 4, the reification conditions are described as (V union VxVxV) is a subset of IR <x,y> is in IEXT(I(rdf:subject)) iff for some a,b,c in V, x=<a b c> and y=a <x,y> is in IEXT(I(rdf:predicate)) iff for some a,b,c in V, x=<a b c> and y=b <x,y> is in IEXT(I(rdf:object)) iff for some a,b,c in V, x=<a b c> and y=c x is in ICEXT(I(rdf:Statement)) iff for some a,b,c in V, x=<a b c> This seems to say that *every* 3-tuple in VxVxV is of type rdf:Statement. This appears to preclude the use of the 3-tuple for any other purpose. Is this right? #g ------------ Graham Klyne (GK@ACM.ORG)
Received on Wednesday, 5 September 2001 10:25:38 UTC