- From: Dan Brickley <danbri@w3.org>
- Date: Thu, 5 Sep 2002 08:50:05 -0400 (EDT)
- To: Nick Bassiliades <nbassili@csd.auth.gr>
- cc: <www-rdf-comments@w3.org>
Good point. Also not clear whether rdfs:member is considered a member of the ContainerMembershipProperty class... Dan On Thu, 5 Sep 2002, Nick Bassiliades 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) > 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) > 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||] .| > ... > > Of course, rdfs:ContainerMembershipProperty is a subclass of > rdfs:Property, therefore the latter > implies the former. However, if the latter is missing, then > rdfs:ContainerMembershipProperty will > contain no members and it'll be useless. > > Nick > >
Received on Thursday, 5 September 2002 08:50:10 UTC