Re: correct DOCTYPES to use on MathML 3.0 documents

Le 12/10/2010 17:34, William F Hammond a écrit :
> There are some things in the text/html serialization of html5 that
> would be very difficult, if not impossible, to model faithfully in
> SGML.
>
>    
Yes, I was really thinking at the semantic level: if we have a RelaxNG 
schema describing a family of XML documents, then we can write a DTD 
whose corresponding set of valid documents includes the previous family 
(and there are tools to generate such a DTD). Of course, this seems much 
more difficult at the syntactic level, because of the particularities of 
the text/html serialization of HTML5, such that those you've mentioned. 
I'm wondering whether the W3C validator can currently only rely on a DTD 
schema. That would explain the issues about HTML5 validation raised in 
this mail thread...

> Html5 rules allowing unquoted attribute value strings are
> more liberal than what can normally be enabled with limited shorttag
> provisions in an sgml declaration.  For example, with<a href=foo/>
> the '/' is understood as part of the value string though with
> <mspace width="1em"/>  the '/' is understood to make a self-closing
> tag because "mspace" is not in the html namespace.
>
> In fact,<a>  is defined as having "transparent content", which means
> that the content can be any subgrove of html5 content provided it does
> not contain an<a>  inside.
>
> And as things are now,<a id="thisLocation" />  in text/html is parsed
> as<a id="thisLocation">  -- see html5lib at Google code, the python
> version -- so that the "adoption agency algorithm" should be invoked
> by a user agent to provide a closetag for it somewhere down the road.
>
> The specification does spell out, I think correctly, when the two
> character sequence "/>" should be regarded as self-closing syntax, but
> then rather strangely flags it as an error and more or less specifies
> handling the tag as an opentag when the tagname is in the html
> namespace but as a self-closing tag when it is in a foreign namespace.
>
>                                      -- Bill
>
>
>
>    


-- 
Frédéric Wang.
Website <http://www.maths-informatique-jeux.com/> - Weblog 
<http://www.maths-informatique-jeux.com/blog/frederic/>