W3C home > Mailing lists > Public > www-validator@w3.org > June 2010

Re: HTML OK in <mtext> but not in <annotation-xml>, etc. [was: HTML5 with MathML has problem with numerical attrubute values]

From: Joe Java <cop3252@yahoo.com>
Date: Mon, 14 Jun 2010 21:03:04 -0700 (PDT)
Message-ID: <695490.98247.qm@web34402.mail.mud.yahoo.com>
To: "Michael\(tm\) Smith" <mike@w3.org>
Cc: www-validator@w3.org
Hello Mike

-> not. The reason is that that the alt attribute is valid on
> the
> input element only if the input element also has a type
> attribute
> whose value is "image".

Thank you, I have made the needed changes.

I noticed something.
I think that the present W3C validator is incorrectly validatiing some MathML documents.

The validator accepts lines like so:
(from https://eyeasme.com/Joe/MathML/HTML5/basics.xhtml)

  <annotation-xml encoding="application/xhtml+xml">
    <input xmlns="http://www.w3.org/1999/xhtml"  id="input12" value="?" size="1" alt="?" />

I think this should be rejected because:
Section 4.2.6 of W3C MathML 2.0 Specification 
Third paragraph

The semantics element is the container element for the MathML expression together with its semantic mappings. semantics expects a variable number of child elements. The first is the element (which may itself be a complex element structure) for which this additional semantic information is being defined. The second and subsequent children, if any, are instances of the elements annotation and/or annotation-xml. 

NOTE: The specification clearly states that the SECOND or subsequent children of the 'semantic' element are annotation or annotation-xml.  The validator is validating documents that have the FIRST child of a 'semantic' tag as annotation-xml.

Also note the working draft MathML 3.0 specification Chapter 5.1.1
Third sentence

The semantics element contains the expression being annotated as its first child, followed by a sequence of zero or more annotation and/or annotation-xml elements. 

Also supports that the FIRST child of a 'semantic' element is not an annotation. 


Received on Tuesday, 15 June 2010 04:03:42 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 14:18:01 UTC