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

Re: Another try at subclass

From: Axel Polleres <axel.polleres@deri.org>
Date: Thu, 13 Dec 2007 20:48:34 +0100
Message-ID: <47618C92.6030602@deri.org>
To: Chris Welty <cawelty@gmail.com>
CC: Dave Reynolds <der@hplb.hpl.hp.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Chris Welty wrote:
> 
> 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.

a rif:subClassOf b . x rdf:type a.

>>
>> RDFS-entails
>>
>> x rdf:type b. ??
> 
> Huh?  A typo here undoubtedly but I'm not sure where.

typo, see above.

>>
>> (instead of *only*)

this was void... just was writing this in a rush, sorry.

>> If so, we also want to make
>>
>> rif:memberOf rdfs:subClassOf rdf:type

meant subProperty, yes, again, sorry for the hasty writing (airport).

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

is it? Then all is fine & sorry for the confusion.

Axel, partially confused  ;-)

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


-- 
Dr. Axel Polleres
email: axel@polleres.net  url: http://www.polleres.net/

rdf:Resource owl:differentFrom xsd:anyURI .
Received on Thursday, 13 December 2007 19:49:00 GMT

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