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