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 21:08:01 +0100
To: bwm@hplb.hpl.hp.com
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OF05AC8A0E.9863127F-ON41256A92.006D1779@bayer-ag.com>

Hi Brian,

[...]
> > 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}
>
> Yes there's something screwy about what I wrote.  I think I
> meant to write:
>
> IEXT : P -> powerset(R x R)
>
> i.e. IEXT is a mapping from from P to relations on R - the
> idea being to ensure that R x R is not a subset of R.
>
> Is that the same as you are suggesting?

Exactly, although I was wrong in my wording.
The range of IEXT is indeed the powerset
(the set of subsets) of R x R

Beside rdf:subject, rdf:predicate and rdf:object
being nicely modeled now, I think we can also model
'sets of triples' and rdf:li as being a property
to list it's members, so something like
[ rdf:li [ rdf:subject <s1>; rdf:predicate <p1>; rdf:object <o1>],
         [ rdf:subject <s1>; rdf:predicate <p1>; rdf:object <o1>]]
but let's further think about that...

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 23 July 2001 15:11:12 EDT

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