- From: Dan Brickley <danbri@w3.org>
- Date: Tue, 10 Sep 2002 07:59:44 -0400 (EDT)
- To: pat hayes <phayes@ai.uwf.edu>
- cc: Nick Bassiliades <nbassili@csd.auth.gr>, <www-rdf-comments@w3.org>
I don't remember abandoning it! (but memory can play tricks...) Dan On Fri, 6 Sep 2002, pat hayes wrote: > >I would like to ask about the use of the class > >rdfs:ContainerMembershipProperty class. > > > >In the RDF Schema document > >(<http://www.w3.org/TR/rdf-schema/#ch_containermembershipproperty>http://www.w3.org/TR/rdf-schema/#ch_containermembershipproperty) > >is mentioned that: > > > >>The rdfs:ContainerMembershipProperty class has as members the > >>property rdfs:member and the properties _1, _2, _3 ... that can be > >>used to indicate membership of Bag, Seq and Alt containers. > >>rdfs:ContainerMembershipProperty is a subclass of rdf:Property. > >>Each container membership property is a rdfs:subPropertyOf the > >>rdfs:member property. > >> > >However, in the RDF Model Theory document > >(<http://www.w3.org/TR/rdf-mt/#rdfs_entail>http://www.w3.org/TR/rdf-mt/#rdfs_entail) > >the 2nd rule of the rdfs-closure of an RDF graph states that the > >following triples are true: > > > >>[rdf:_1] [rdf:type] [rdfs:Property] . > >>[rdf:_2] [rdf:type] [rdfs:Property] . > >>... > >> > >>[rdf:_1] [rdfs:subPropertyOf] [rdfs:member] . > >>[rdf:_2] [rdfs:subPropertyOf] [rdfs:member] . > >>... > >> > >However, since rdf:_XXX properties are members of the class > > rdfs:ContainerMembershipProperty the first group > >of the above triples shouldn't better be as follows? > > > >[rdf:_1] [rdf:type] [rdfs:ContainerMembershipProperty] . > >[rdf:_2] [rdf:type] [rdfs:ContainerMembershipProperty] . > >... > > To the best of my recollection, the WG had decided to abandon > ContainerMembershipProperty, which is why I didn't use it. But I will > check to make sure. Certainly if it is still in the language then > your suggestion is a good one. > > Pat Hayes >
Received on Tuesday, 10 September 2002 07:59:49 UTC