[Top] [All Lists]

Re: [ontolog-forum] Relevance of Aristotelian Logic

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sat, 14 Feb 2009 15:04:29 -0500
Message-id: <499723CD.2040602@xxxxxxxxxxx>
Alex,    (01)

People have been trying to do that for a long time:    (02)

 > it seems that "single universal ontology" for usual life should
 > be more or less simple.  do we have one in formal form somewhere?    (03)

The biggest formal ontology for "commonsense" reasoning is Cyc:    (04)

    http://cyc.com/    (05)

They have been working on the project since 1984, and so far,
they have devoted more than 750 person-years of work to it.
If you have a few centuries of spare time, you could help them.    (06)

John    (07)

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    (08)

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