updated axiomatic semantics available

There is a new version of the DAML+OIL axiomatic semantics.
the updated word, html, and text versions are available from:
http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html

the daml.org site will soon point to the updated version as well.
This will be available from the daml+oil release page:
http://www.daml.org/2001/03/daml+oil-index
This was updated in July and we believe it incorporates all comments we
have received to date.

Richard Fikes and Deborah McGuinness

--
 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 Tuesday, 17 July 2001 22:09:23 UTC