|To:||"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||"Richard H. McCullough" <rhm@xxxxxxxxxxxxx>|
|Date:||Thu, 30 Apr 2009 07:31:50 -0700|
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
> Therefore, I used that kind of T as the top of the type hierarchy
> (or a lattice if the partial ordering of types is extended to
> a lattice). However, in most notations for logic, there is no
> way to distinguish a ordinary capital T from the special kind
> of T at the top. Therefore, I suggested the label 'Entity'
> as a synonym for that symbol.
#### entity has connotations of sensory object.
> Some people use the word 'Thing' for the top of the type hierarchy,
> but it has too many connotations of physical object. It seems
> odd to say that an integer, a state of happiness, or an act
> of walking is a thing.
> Some people use the word 'Concept' for the top of the hierarchy,
> but that usage is much, much worse. One could say that an
> object, an integer, a state, or an act is *represented by*
> a concept, but it is totally senseless to say that they *are*
#### I use existent for the top of the hierarchy.
#### It literally means anything that exists.
> I discuss some of these and other issues in the papers included
> in the Guided Tour of Ontology:
#### "guide.htm" is MIA.
> John Sowa
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] mKR/mKE 8.2 simplified grammar, Richard H. McCullough|
|Next by Date:||Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype, John F. Sowa|
|Previous by Thread:||Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype, John F. Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|