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

Re: Technical tweaks to the MT, for reviewers.

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Sat, 09 Nov 2002 10:41:05 +0000
Message-Id: <5.1.0.14.2.20021109103856.03c71b90@127.0.0.1>
To: pat hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org, pfps@research.bell-labs.com, herman.ter.horst@philips.com

At 11:47 AM 11/8/02 -0600, pat hayes wrote:
>2. Now that subClassOf and subPropertyOf have 'iff' semantics, that raises 
>a slight complication: it means that anything with an empty class 
>extension, which right now includes anything that isn't a class, is a 
>subclass of anything, and similarly for properties. That has a lot of 
>unintuitive consequences, and I propose to remove them by *defining* 
>classes to be things that are in  rdfs:Class, similarly properties and 
>rdf:Property, and then restricting the 'iff' definition of subClassOf to 
>hold only between classes, and again similarly for properties.

Can someone point me at the rationale for having iff rather than if here?

>4. Does everyone agree that   rdfs:member rdf:type 
>rdfs:ContainerMembershipProperty .  ? I can go either way, but this will 
>require a small tweak.

Hmmm... I don't know.  Why do we need rdfs:ContainerMembershipProperty at 
all?  I'm tempted to suggest deleting it:  any reasons for not doing so 
will hopefully answer your question ;-)

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Saturday, 9 November 2002 06:35:16 EST

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