Re: interlingua

Richard Fikes <fikes@HPP.Stanford.EDU>

Mail folder: Interlingua Mail
Next message: sowa: "Questions about OO models in logic"
Previous message: sowa: "Joint meeting of ANSI X3H4 and X3H7"

Full-Name: Richard Fikes
Date: Thu, 25 Mar 1993 10:30:10 PST
From: Richard Fikes <fikes@HPP.Stanford.EDU>
Subject: Re: interlingua
To: jmartins@interg.interg.pt
Cc: interlingua.@interg.interg.pt, krss@ISI.EDU, neches@ISI.EDU,
        Richard Fikes <fikes@HPP.Stanford.EDU>
In-Reply-To: Your message of Thu, 25 Mar 93 18:30:26 GMT
Message-id: <MacMS.14898.10113.fikes@ksl.stanford.edu>

>I would like to get information about the DARPE effort on knowledge
>sharing

Documents and information on KIF can be obtained via anonymous FTP
>From ksl.stanford.edu.  Look in directory /pub/knowledge-sharing/*.  That
directory contains the following README.TEXT file:

This is a public directory for information and software related to the DARPA
Knowledge Sharing Effort.  For announcments and other discussion, subscribe to
the email distribution lists listed in the file email-lists.text in this
directory.  We will try to put notices of changes in this file as well.

Within this directory are the following subdirectories:

 /papers -- documents related to knowledge sharing.  Many are in postscript
            and/or MS Word/binhex formats.  To post new papers here,
            send mail to gruber@ksl.stanford.edu.
     The file /papers/README.TEXT contains abstracts of papers.
     The file /papers/GOPHER-README.TEXT contains information for Gopher users
     on how to set up this directory as a gopher directory.

 /ontolingua -- software and documentation about the Ontolingua tools
            for developing and maintaining portable ontologies.
            See the /examples subdirectory for some portable ontologies.

Files of interest in this directory:
  README.TEXT -- this file
  email-lists.text -- pointers to relevant email lists
  srkb-mail-archive.mime -- archive of mail on srkb list, in MIME format

If you have trouble obtaining information from this FTP site, send mail to
gruber@ksl.stanford.edu.

-------