Re: Thing and Class

So now a class is a set ???

Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/

----- Original Message ----- 
From: "Jie Bao" <baojie@cs.rpi.edu>
To: "Richard H. McCullough" <rhm@pioneerca.com>
Cc: "Mark Wallace" <mwallace@3sigmaresearch.com>; "Semantic Web at W3C" 
<semantic-web@w3.org>
Sent: Wednesday, August 27, 2008 4:20 PM
Subject: Re: Thing and Class


> Dear ichard H. McCullough
>
> Both the two claims are not true in OWL, not matter in OWL DL or OWL FULL
>
> Thing  subClassOf  Class;
> Class  subClassOf  Thing;
>
> It is clear in OWL RDF-Compatible Model-Theoretic Semantics:
> * owl:Class is a set of classes
> * owl:Thing is a set of individuals
>
> http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#5.2
>
> Best Regards
>
> Jie
>
> On Wed, Aug 27, 2008 at 6:58 PM, Richard H. McCullough
> <rhm@pioneerca.com> wrote:
>>
>> I browsed through the W3C documents, and didn't find that particular
>> assertion.
>> But it is clearly true, since every class is a subclass of Thing.
>>
>> Dick McCullough
>> Ayn Rand do speak od mKR done;
>> mKE do enhance od Real Intelligence done;
>> knowledge := man do identify od existent done;
>> knowledge haspart proposition list;
>> http://mKRmKE.org/
>>
>> ----- Original Message ----- From: "Mark Wallace"
>> <mwallace@3SigmaResearch.com>
>> To: <semantic-web@w3.org>
>> Cc: "Semantic Web at W3C" <semantic-web@w3.org>
>> Sent: Wednesday, August 27, 2008 2:44 PM
>> Subject: Re: Thing and Class
>>
>>
>>>
>>> Richard H. McCullough wrote:
>>>>
>>>> Since  Thing  subClassOf  Class;
>>>
>>> Would you please give your reference for this assertion?
>>>>
>>>> and     Class  subClassOf  Thing;
>>>
>>> Would you please give your reference for this assertion?
>>>
>>> Thanks,
>>> -Mark
>>>>
>>>> it follows that  Thing  equivalentClass  Class;
>>>>
>>>> So, I say:  get rid of Class!
>>>>
>>>> Dick McCullough
>>>> Ayn Rand do speak od mKR done;
>>>> mKE do enhance od Real Intelligence done;
>>>> knowledge := man do identify od existent done;
>>>> knowledge haspart proposition list;
>>>> http://mKRmKE.org/
>>>>
>>>
>>> Mark Wallace
>>> Chief Architect & Ontologist
>>> 3-Sigma Research, Indialantic, Florida, USA
>>>
>>>
>>>
>>>
>>>
>>
>>
>>
>>
>
>

Received on Thursday, 28 August 2008 00:18:23 UTC