axiomatic semantics

From: Deborah McGuinness (
Date: 11/06/01

there has been an update to the daml+oil axiomatic semantics document.
the update is available at:

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
 (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