Re: DAML+OIL release

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

• Next message: Mike Dean: "Joint Committee Minutes 9 January 2001"
• Previous message: Peter F. Patel-Schneider: "Re: problems with DAML+OIL"
• In reply to: Ian Horrocks: "DAML+OIL release"
• Next in thread: Deborah Mcguinness: "Re: DAML+OIL release"
• Reply: Deborah Mcguinness: "Re: DAML+OIL release"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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
> 

• Next message: Mike Dean: "Joint Committee Minutes 9 January 2001"
• Previous message: Peter F. Patel-Schneider: "Re: problems with DAML+OIL"
• In reply to: Ian Horrocks: "DAML+OIL release"
• Next in thread: Deborah Mcguinness: "Re: DAML+OIL release"
• Reply: Deborah Mcguinness: "Re: DAML+OIL release"
• 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 : 04/02/02 EST