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 0941Received on Tuesday, 17 July 2001 22:09:23 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:47 GMT