Re: submission to you-know-what

From: Dan Brickley ([email protected])
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 <[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