Re: Comment: Representing Classes As Property Values on the Semantic Web

Jeremy Carroll wrote:
> Ivan Herman wrote:
> 
>> The text (as well as the code) says:
>>
>> :LionSubject a :Lion.
>>
>> and, sort of, makes the implicit conclusion that this also means
>>
>> :LionSubject a owl:Thing.
>>
>> However, as far as I understand, this is not true per se *unless* we 
>> know in advance that we are in OWL DL or OWL Light. 
> 
> 
> (Only responding to your example, not to any suggestions about the 
> document)
> 
> Hmmm, in OWL Full, this entailment is trivial isn't it?
> owl:Thing and rdfs:Resource are the same in OWL Full ... (maybe I need 
> to check the text)
> 

Yes, that is correct. But the essence of the text in that Approach is to refer to OWL DL, 
where Thing != Resource, so this should be said explicitly.

I.

> Jeremy
> 
> 

-- 

Ivan Herman
W3C Communications Team, Head of Offices
C/o W3C Benelux Office at CWI, Kruislaan 413
1098SJ Amsterdam, The Netherlands
tel: +31-20-5924163; mobile: +31-641044153;
URL: http://www.w3.org/People/Ivan/