W3C home > Mailing lists > Public > www-rdf-interest@w3.org > December 2002

OpenCyc progress report

From: Richard H. McCullough <rhm@cdepot.net>
Date: Thu, 19 Dec 2002 13:32:43 -0800
Message-ID: <002001c2a7a6$6e7eab00$bd7ba8c0@rhm8200>
To: "RDF-Interest" <www-rdf-interest@w3.org>
Cc: "Stephen Reed" <reed@cyc.com>, "Richard S. Latimer" <latimer1@att.net>, "William Thomas" <wthomas@nycap.rr.com>
I've read 16 of 32 tutorials at http://www.opencyc.org/doc/
and mapped CycL concepts to KR concepts http://www.volcano.net/~rhm/knowledge/theory/CycL/CycLvsKR.txt

The CycL microtheory BaseKB corresponds to the KR context tabula rasa.
BaseKB is about 2 times the size of tabula rasa 
because it explicitly names about 350 microtheories that depend on it.

About 50 important CycL microtheories are given at http://www.cyc.com/cycdoc/vocab/vocab-toc.html
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart proposition list
Received on Thursday, 19 December 2002 16:34:41 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:43 UTC