Re: submission to you-know-what

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