W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2002

Re: Members of the rdfs:ContainerMembershipProperty class

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>
Message-ID: <Pine.LNX.4.30.0209050849330.11306-100000@tux.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:30 GMT