New (Alpha) Ontolingua release

James Rice <Rice@HPP.Stanford.EDU>
Message-id: <2983913233-3775884@KSL-EXP-35>
Sender: RICE@KSL-EXP-35.Stanford.EDU
Date: Fri, 22 Jul 94  17:47:13 PDT
From: James Rice <Rice@HPP.Stanford.EDU>
To: ontolingua@HPP.Stanford.EDU
Subject: New (Alpha) Ontolingua release
I've just put a new release up for FTP called


This has not been tested under any implementation other
than Lucid (and I'm pretty confident it won't work under
other Lisps without a couple of fixes), but I thought I'd
give those who want to get their hands on the (hopefully)
functioning Loom back-end a chance to play with it before
we go into testing under different Lisp implementations.

As far as I know, there are no known problems with the
translations into Loom, though you'd need a recently
patched Loom 2.1.

The outstanding things to sort out are:

 - minor (probably Loom) bug that manifests itself in
asserting documentation annotations.  This is non-fatal.

 - we probably need to reorganise the way that we're
handling the topmost bits of the KIF-sets ontology to make
the translations map better into Loom's notion of what a
Thing is.  This also should not cause any fatal problems.

Ontolingua's notion of the Loomification of all of the
ontologies in the library can be found in