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

Re: Strawman Model Theory

From: <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 23 Jul 2001 20:40:30 +0100
To: bwm@hplb.hpl.hp.com
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF2D886BCC.A6C80DC6-ON41256A92.006B4F2A@bayer-ag.com>

[a correction after some holiday biking]

> > 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}

I was wrong, IEXT is indeed a function but it's range
seems to be the set of all subsets of R x R
(including the empty set?)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 23 July 2001 14:43:01 EDT

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