From: <jos.deroo.jd@belgium.agfa.com>

Date: Mon, 23 Jul 2001 19:24:04 +0100

To: bwm@hplb.hpl.hp.com

Cc: w3c-rdfcore-wg@w3.org

Message-Id: <OF1474BF0B.8E87C777-ON41256A92.005D2B5F@bayer-ag.com>

Date: Mon, 23 Jul 2001 19:24:04 +0100

To: bwm@hplb.hpl.hp.com

Cc: w3c-rdfcore-wg@w3.org

Message-Id: <OF1474BF0B.8E87C777-ON41256A92.005D2B5F@bayer-ag.com>

Nice work, really! [...] > Let U be the set of URI References (as defined by RDF 2396). ^^^RFC > > //ignore lang and namespaces for now > Let S be the set of of UNICODE strings (UNICODE*) I guess U and S are denumerable, no? > An interpretation I consists of: > > A set R of thingies > > A subset P of thingies which corresponds to Properties > > A mapping IN : U -> R > > A mapping IEXT : P -> R x R // R cross R Isn't the notation f: A -> B used for a function with domain A and range B? But IEXT is not a funtion at all, it is a relation on a cross product R x R which is simply a subset of R x R IEXT(I(p)) = {<I(s),I(o)> el R x R: I(s) I(p) I(o) is true} > A mapping IS : S -> R [...] -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Monday, 23 July 2001 13:26:38 EDT

*
This archive was generated by hypermail pre-2.1.9
: Wednesday, 3 September 2003 09:38:14 EDT
*