ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Thu, 30 Apr 2009 07:31:50 -0700
Message-id: <D69912D9077948208BB9909E5B9E11F5@rhm8200>
----- 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*
> concepts.
#### 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.
>   
http://www.jfsowa.com/ontology/guide.htm
>
> John Sowa
>
Dick McCullough
http://mkrmke.org

_________________________________________________________________
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>