From: Deborah McGuinness (dlm@ksl.stanford.edu)
Date: 09/12/01
is anything set up to take automatically generated html and making it conform? the html for the axiomatic semantics is generated from dumping it in "web page" format from microsoft word. d Dan Connolly wrote: > "Peter F. Patel-Schneider" wrote: > > > > The problem is that the html must pass the W3C filters. > > It seems like the filter you're talking about is the W3C HTML > validation service > http://validator.w3.org/ > > yes, we require that our tech reports are conforming HTML documents; > the validator can help check HTML conformance. > > We have another tool, HTML tidy, that can help clean up > non-conforming HTML documents. > > http://www.w3.org/People/Raggett/tidy/ > > I put a little CGI wrapper around it so you can run > it as a web service without installing it... > > http://cgi.w3.org/cgi-bin/tidy > > > When I ran the > > axiomatization through the filter, it generated thousands of errors. > > Yup; that's what I see too... > > [...] > > 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 > > indeed... bzillions of errors in there... > > http://validator.w3.org/check?uri=http%3A%2F%2Fwww.ksl.stanford.edu%2Fpeople%2Fdlm%2Fdaml-semantics%2Fdaml-axioms-w3c-august2001.htm&doctype=Inline > > hmm... I can't seem to get the online tidy service to do anything > useful with it. > > -- > Dan Connolly, W3C http://www.w3.org/People/Connolly/ -- 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