From: Deborah McGuinness (dlm@ksl.stanford.edu)
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: dlm@ksl.stanford.edu 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