From: Deborah McGuinness ([email protected])
Date: 11/06/01
there has been an update to the daml+oil axiomatic semantics document.
the update is available at:
http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html
in that, there is a very short description of the updates.
(this was a result of work with Richard Waldinger validating the axioms
and joint work fikes, waldinger, and mcguinness writing up the work.)
The update to the html version that is in the correct version for the w3
submission will follow.
--
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
(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