DAML+OIL release

From: Ian Horrocks ([email protected])
Date: 01/10/01


Mike,

I have updated the two files describing the differences between
DAML+OIL and DAML and between DAML+OIL and OIL. For consistency I have
named these differences-daml.html and differences-oil.html. They are
in the usual place (along with the updated daml+oil.daml in case you
didn't see my earlier mail):

       www.cs.man.ac.uk/~horrocks/daml+oil/

If anyone has any comments/corrections, please let me know.

Ian


This archive was generated by hypermail 2.1.4 : 04/02/02 EST