From: Dan Brickley (danbri@w3.org)
Date: 09/12/01
Using the validator at http://validator.w3.org/ should help; it's a public Web service btw... Dan On Wed, 12 Sep 2001, Peter F. Patel-Schneider wrote: > 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 <dlm@ksl.stanford.edu> > 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 <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