Re: DAML+OIL release

From: Deborah Mcguinness (
Date: 01/18/01

We are generating this as an appendix that will be pointed to from an
updated version of our document.
We will also run the axioms through our KIF-based theorem prover (JTP).
As part of our translation process, we are also generating an ontology -
daml+oil that has
the axioms included in it.  Once completed and tested, that will be posted
as well.


Tim Berners-Lee wrote:

> Deborah,
> Dpo you have a raw KIF version of
>  that you could make available?
> Tim

 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)  801
705 0941

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