From: Peter F. Patel-Schneider ([email protected])
Date: 09/12/01
The problem is that the html must pass the W3C filters. When I ran the axiomatization through the filter, it generated thousands of errors. There is a method for submitting files to their filters, but I can't currently follow the pointer to the site. You may have to have a member password to get to it. (Try looking in the W3C Process Document.) peter From: Deborah McGuinness <[email protected]> Subject: Re: submission to you-know-what Date: Wed, 12 Sep 2001 15:17:58 -0700 > 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 <[email protected]> > > 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: [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