W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2007

Re: Another try at subclass

From: Chris Welty <cawelty@gmail.com>
Date: Thu, 13 Dec 2007 13:48:14 -0500
Message-ID: <47617E6E.7040700@gmail.com>
To: axel@polleres.net
CC: Dave Reynolds <der@hplb.hpl.hp.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>


Axel,

If you write out the models you'll see its the correct way around in my proposal.

Axel Polleres wrote:
> but rdfs:subclass implies all kinds of other things wwhich we don't want 
> to be implied necessarily for rif:subClassOf on the other hand, right?

They won't be implied for rif:subClassOf, just for rdf:subClassOf.

> 
> e.g.:
> 
> a rdfs:subClassOf b . x rdf:type a.
> 
> RDFS-entails (even RDF entails)
> 
> x rdf:type a.
> 
> 
> Do we also want:
> 
> a rif:subClassOf b . x rdf:type b.
> 
> RDFS-entails
> 
> x rdf:type b. ??

Huh?  A typo here undoubtedly but I'm not sure where.

> 
> (instead of *only*)
> 
> If so, we also want to make
> 
> rif:memberOf rdfs:subClassOf rdf:type

rif:memberOf is a property.  I think it is the same as rdf:type.

-Chris

> 
> yes?
> 
> just for clarification...
> 
> 
> Axel
> 
> 

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Thursday, 13 December 2007 18:48:28 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:44 GMT