DAML+OIL release

From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 01/10/01


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):


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


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