DAML Ontology Editor

From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 04/12/02

Next message: mburke: "RE: ASSERTION, QUESTION, SUGGESTION - final draft"
Previous message: David Martin: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

                         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 oil-help@cs.man.ac.uk.

Our apologies if you receive multiple copies of this message.

Next message: mburke: "RE: ASSERTION, QUESTION, SUGGESTION - final draft"
Previous message: David Martin: "Re: ASSERTION, QUESTION, SUGGESTION - final draft"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 03/26/03 EST