new release of ontolinguaTom Gruber <gruber@HPP.Stanford.EDU>
Content-Type: text/plain; charset="us-ascii"
Date: Wed, 3 Aug 1994 20:02:24 -0800
To: firstname.lastname@example.org, 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 email@example.com.
If you send them to me personally, nothing will happen :-).