- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 7 Sep 2001 07:51:31 -0700
- To: Graham Klyne <GK@NineByNine.org>
- Cc: 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. In VxVxV, yes. Not every triple in IRxIRxIR is, of course. >This appears to preclude the use of the 3-tuple for any other purpose. Er.... .not sure what 'use' means here. You can assert anything you like about the triple, since its in IR. But it is indeed of type rdf:Statement. Pat --------------------------------------------------------------------- (650)859 6569 w (650)494 3973 h (until September) phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Friday, 7 September 2001 11:06:49 UTC