From: Deborah Mcguinness (dlm@ksl.stanford.edu)
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: dlm@ksl.stanford.edu 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