W3C home > Mailing lists > Public > semantic-web@w3.org > August 2008

Re: Thing and Class

From: Jie Bao <baojie@cs.rpi.edu>
Date: Wed, 27 Aug 2008 19:20:01 -0400
Message-ID: <b6b357670808271620q5d23780cga9340f812fe73308@mail.gmail.com>
To: "Richard H. McCullough" <rhm@pioneerca.com>
Cc: "Mark Wallace" <mwallace@3sigmaresearch.com>, "Semantic Web at W3C" <semantic-web@w3.org>

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 Wednesday, 27 August 2008 23:20:36 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:24 GMT