- From: Jie Bao <baojie@cs.rpi.edu>
- Date: Wed, 27 Aug 2008 19:20:01 -0400
- 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 UTC