W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

Re: Reification in RDF MT (probably off-topic)

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 7 Sep 2001 07:51:31 -0700
Message-Id: <v0421010ab7be30cb243c@[130.107.66.237]>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:41 EDT