Re: submission to you-know-what

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 09/12/01


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