New (Alpha) Ontolingua release

• Mail folder: Ontolingua Mail
• Next message: Ralf Moeller: "Re: Shape and spatial relations ontology available?"
• Previous message: Timothy Finin: "CFP: Workshop on Intelligent Information Agents, at CIKM-94 12/2/94"

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

  /pub/knowledge-sharing/ontolingua/ontolingua-4-0-alpha-2.tar.Z
                                                        ^^

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

/pub/knowledge-sharing/ontologies/loom-ontologies.tar.Z




Rice.