Re: DAML+OIL release

From: Tim Berners-Lee ([email protected])
Date: 01/16/01


Deborah,

Dpo you have a raw KIF version of 
http://www.daml.org/2000/12/axiomatic-semantics.html
 that you could make available?

Tim

----- Original Message ----- 
From: "Ian Horrocks" <[email protected]>
To: "Mike Dean" <[email protected]>
Cc: <[email protected]>
Sent: Wednesday, January 10, 2001 3:32 PM
Subject: DAML+OIL release


> 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