new papers and software

Tom Gruber <gruber@SUMEX-AIM.Stanford.EDU>
Full-Name: Tom Gruber
Sender: Tom Gruber <gruber@hpp.Stanford.EDU>
Date: Fri, 9 Oct 1992 21:06:43 PDT
From: Tom Gruber <gruber@SUMEX-AIM.Stanford.EDU>
To: srkb@ISI.EDU
Subject: new papers and software 
Message-id: <CMM.0.88.718690003.gruber@hpp.Stanford.EDU>

We have just completed a new release of Ontolingua.  In addition to bug
fixes, the new code includes tools for analyzing ontologies for missing
definitions, legal KIF usage, and dependencies on other ontologies.  There
are also several example ontologies to look through.  A complete
announcment is being sent to the ontolingua distribution list
<>, and is also available on the ftp directory
as a release note.

The public directory for ontolingua and example ontologies is /pub/ontolingua

Also, there are some new papers on knowledge sharing in the public
directory /pub/k-sharing-papers 

A revision of the paper on PACT (Palo Alto Collaboration Testbed) and
a new article on Ontolingua are available.  The README file has
details.  New papers by SRKB participants can be put in this library
and announced on this list.  I won't put anything in there without the
author's explicit permission, so if you've circulated a paper that is
about knowledge sharing, and you're willing to share your knowledge in
this form, just let me know.

Our computer systems have promised to go down this weekend, so the
files may not be available until Monday Oct 12.  

Send requests and questions about ontolingua to Fritz Mueller
<>.  Send requests for hardcopy versions of papers
to Michelle Perrie <>.  Send money to...