new release of ontolingua

Tom Gruber <gruber@HPP.Stanford.EDU>

Mail folder: SRKB Mail
Next message: Tom Gruber: "new release of ontology library"
Previous message: genesereth@cs.stanford.edu (Michael R. Genesereth) (by way of Tom Gruber: ""

Message-id: <199408040256.TAA09655@HPP.Stanford.EDU>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Wed, 3 Aug 1994 20:02:24 -0800
To: srkb@cs.umbc.edu, ontolingua@HPP.Stanford.EDU
From: Tom Gruber <gruber@HPP.Stanford.EDU>
Subject: new release of ontolingua
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

We are pleased to announce that the final release of Ontolingua 4.0 is now
available on the net at
  ftp://ksl.stanford.edu/pub/knowledge-sharing/ontolingua/

This software can translate KIF-based ontologies into

  Loom (Lisp-based terminological logic)
  Clips (public domain C-based object system with rules)
  Epikit (sound and complete inference engines for predicate logic)
  Generic-frame (portable frame-language syntax with GFP compliance)
and a pure KIF form for translation into other systems.

The new Ontolingua system does a fair bit of completeness and type analysis
on the definitions, and can generate new and improved HTML reports.

All of the documentation for ontolingua is on WWW at
  http://ksl-web.stanford.edu/knowledge-sharing/ontolingua/

Please send problems and suggestions to ontolingua@ksl.stanford.edu.
If you send them to me personally, nothing will happen :-).

Enjoy.

tom