W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: RDFS todo: is rdfs:member a rdfs:ContainerMembershipProperty?

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
Message-ID: <OF368B4780.3889CA87-ONC1256C6B.006EEC0D-C1256C6B.0070D9CC@agfa.be>


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 EST

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