new release of ontolingua

Tom Gruber <gruber@HPP.Stanford.EDU>
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:, ontolingua@HPP.Stanford.EDU
From: Tom Gruber <gruber@HPP.Stanford.EDU>
Subject: new release of ontolingua
We are pleased to announce that the final release of Ontolingua 4.0 is now
available on the net at

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

Please send problems and suggestions to
If you send them to me personally, nothing will happen :-).