- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 8 Nov 2002 21:32:11 +0100
- To: "Brian McBride <bwm" <bwm@hplb.hpl.hp.com>
- Cc: Dan Brickley <danbri@w3.org>, pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
I think I caused the confusion
(too much other math formulae work)
We just have
IF
?x a rdfs:ContainerMembershipProperty.
THEN
?x rdfs:subPropertyOf rdfs:member.
and I can't find a proof for
rdfs:member a rdfs:ContainerMembershipProperty .
sorry for any confusion
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Brian McBride
<bwm@hplb.hpl.hp.co To: Dan Brickley <danbri@w3.org>, pat hayes <phayes@ai.uwf.edu>
m> cc: <w3c-rdfcore-wg@w3.org>
Sent by: Subject: Re: RDFS todo: is rdfs:member a
w3c-rdfcore-wg-requ rdfs:ContainerMembershipProperty?
est@w3.org
2002-11-08 08:49 PM
At 13:43 08/11/2002 -0500, Dan Brickley wrote:
>As discussed on the telecon, RDFS editors draft currently has an "@@ find
>out what the MT says" TODO regarding this question. Can you let me know
>what the current situation is, so RDFS can reflect that?
>
>rdfs:member is a super-property of each of rdf:_1, rdf:_2, etc. We call
>these the container member properties, and have them as members of
>rdfs:ContainerMembershipProperty. Do we have rdfs:member in that class as
>well?
I'd be surprised if we did. We would have to check the text over carefully
for phrases like "membership of a container is indicated by a container
membership property ..."
As I recall, we made a decision to have a superproperty, but not that the
superproperty was a container membership property.
But Pat seemed to indicate at the telecon there were reasons why it had to
be.
Brian
Received on Friday, 8 November 2002 15:34:08 UTC