From: Deborah Mcguinness ([email protected])
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.
Deborah
Tim Berners-Lee wrote:
> Deborah,
>
> Dpo you have a raw KIF version of
> http://www.daml.org/2000/12/axiomatic-semantics.html
> 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
email: [email protected]
URL: http://ksl.stanford.edu/people/dlm/index.html
(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