[Top] [All Lists]

Re: [ontolog-forum] Ontology similarity and accurate communication

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Tue, 11 Mar 2008 22:43:28 -0500 (CDT)
Message-id: <alpine.OSX.1.00.0803112241060.1298@xxxxxxxxxxxxxxx>
On Tue, 11 Mar 2008, Pat Hayes wrote:
> At 7:01 PM -0500 3/11/08, John F. Sowa wrote:
>> My ideal for an upper-level ontology would be the barest minimum
>> number of axioms -- and the ideal number is 0.
> ...  I guess I don't understand this. All an ontology is, is axioms.
> What does it mean to have zero axioms?    (01)

I took him to mean no *proper* axioms, i.e., the ideal upper-level
ontology is predicate logic (or whatever your base logic is).  I'm not
really sure what it means to say that. :-)    (02)

-chris    (03)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

<Prev in Thread] Current Thread [Next in Thread>