From: Ian Horrocks ([email protected])
Date: 04/12/02
OilEd Version 3.4
=========================================================================
The University of Manchester Information Management Group are pleased
to announce the latest release of OilEd, an editor for DAML+OIL. OilEd
allows users to build and edit DAML+OIL ontologies, and uses the FaCT
reasoner (http://www.cs.man.ac.uk/fact) to classify concept
hierarchies and perform consistency testing.
This latest release (3.4) shows a number of improvements and
enhancements over the earlier 2.x versions, in particular improved
support for the March 2001 DAML+OIL specification.
For further information and downloads, please visit the OilEd web site:
http://oiled.man.ac.uk
Any questions about OilEd should be directed to [email protected].
Our apologies if you receive multiple copies of this message.
This archive was generated by hypermail 2.1.4 : 03/26/03 EST