- From: Deborah McGuinness <dlm@ksl.stanford.edu>
- Date: Mon, 27 Aug 2001 16:18:10 -0700
- To: rdf logic mailing list <www-rdf-logic@w3.org>
- CC: Richard Waldinger <waldinger@AI.SRI.COM>
An updated version of the axiomatic semantics for DAML+OIL is available at: http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html Versions are available in word, html, and text. In response to users who are working directly with the axioms and theorems, we include pointers to separate kif-only files containing all of the kif axioms in the document and all of the kif theorems in the document. The kif axioms (and theorems) are currently being checked by Richard Waldinger of SRI. As usual, all previous versions of our releases are available from: http://www.ksl.stanford.edu/people/dlm/daml-semantics/old-versions/ -- 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
Received on Monday, 27 August 2001 19:18:24 UTC