From: Dan Connolly ([email protected])
Date: 09/12/01
"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 <[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
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/
This archive was generated by hypermail 2.1.4 : 04/02/02 EST