From: Deborah McGuinness (dlm@ksl.stanford.edu)
Date: 09/12/01
I hacked up a version of the html version of the axiomatic semantics following the format that you have the other html text versions in. It is available at: http://www.ksl.stanford.edu/people/dlm/daml-semantics/daml-axioms-w3c-august2001.htm I would like to see this included on the cover page that lists all of the other portions of the submission. d ps. and yes... you are right.... hacking automatically generated html is not fun.... "Peter F. Patel-Schneider" wrote: > From: Deborah McGuinness <dlm@ksl.stanford.edu> > Subject: Re: submission to you-know-what > Date: Wed, 12 Sep 2001 14:28:42 -0700 > > > > - the listing of what is included in the submission on page: > > http://www-db.research.bell-labs.com/user/pfps/daml/cover.html > > > > does not include the axiomatic semantics > > This is my attempt to get around the W3C requirements that all document > pass their checkers. The axiomatization will be in the package, however. -- 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