W3C home > Mailing lists > Public > www-math@w3.org > March 2003

RE: Validation of MathML

From: Pepping, Simon (ELS) <S.Pepping@elsevier.nl>
Date: Wed, 19 Mar 2003 15:03:47 -0000
Message-ID: <4D56BD81F62EFD49A74B1057ECD75C06068E78C5@elsamsvexch01.elsevier.nl>
To: "'David Carlisle'" <davidc@nag.co.uk>
Cc: www-math@w3.org

David Carlisle [mailto:davidc@nag.co.uk] wrote on 27 February 2003 21:01:
> Simon,
> Others have mentioned the schema, but assuming that you want a dtd
> version to fit into a larger dtd based document type, have you noticed
> that the current version has an option to turn on stricter checking
> just set
>    <!ENTITY % MathMLstrict "INCLUDE">
> before including the mathml dtd into your dtd.
> there is some documentation of this feature in appendix a of the draft
> version of mathml2 2nd edition.
> I'd be interested to know if
> a) these extra dtd based tests would be useful to you

I had constructed a number of files with errors that were not caught by DTD
parsing. With this new version all errors were caught by the parser, except
for an error with the number of post- and prescripts in mmultiscripts. This
is very useful; I am going to use this DTD in our validation.

> and
> b) if you've spotted any other places where this parameter 
> entity could
> turn on some stricter checks. (there certainly are a few more places I
> suspect)

mmultiscripts requires an even number of post- and prescripts. I caught
errors against that rule with this patch:

<   <!ENTITY % prscrPresExpression " (
<   (%Presentation; | %ContInPres;|%none.qname;)*,
<   (%mprescripts.qname;,(%Presentation; | %ContInPres;|%none.qname;)*)?
>   <!ENTITY % prscrPresExpression " (%onePresExpression;,
>   (%mprescripts.qname;,

The tar file on the MathML web site, http://www.w3.org/Math/DTD/mathml2.tgz,
includes the old versions of the DTDs, without the MathMLstrict feature. It
also contains multiple copies of a number of files.

Regards, Simon

Simon Pepping
DTD Development and Maintenance
Received on Wednesday, 19 March 2003 10:10:52 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:33 UTC