Re: Validating MathML

First, here is the DTD. Probably the easiest is to run it through STG and
see the results. I appreciate your interest.

-Begin DTD----------------------------------------------------------------


<!--
XMPS.dtd - Leo Lopes
10/29/2001

-->

<!--
	This is the parent element. We always have minimizations, like in
MPS. 
	By default, we optimize all scenarios. ghrs are cross-scenario 
	constraints.
-->
<!ELEMENT min (scenario+,ghrs?,property)>

<!-- ############### ENTITIES ###################### -->

<!--
	This includes Mathml2.0
-->
<!ENTITY % mathml SYSTEM "http://www.w3.org/TR/MathML2/dtd/mathml2.dtd">
%mathml;

-End DTD----------------------------------------------------------------

But here are some of the errors:

In the beginning there are about three pages of:

line 19, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (660): invalid type; for attribute: CDATA 
line 19, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (660): invalid type; for attribute: CDATA 
line 19, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (660): invalid type; for attribute: CDATA 
line 19, http://senna.iems.nwu.edu/xml/xmps.dtd: 

Then there are a bunch of:


line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %mrow.qname; | %... 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %mfrac.qname; | ... 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (450): unresolvable PE reference: msup.qname 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (450): unresolvable PE reference: msubsup.qname 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (450): unresolvable PE reference: mover.qname 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (450): unresolvable PE reference: mglyph.qname 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %mspace.qname; 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (450): unresolvable PE reference: mlabeledtr.qname 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %ms.qname; 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %mtext.qname; | ... 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %mi.qname; | %mn... 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %mo.qname;&#x0D; ... 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %mn.qname; | %mo... 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (450): unresolvable PE reference: NamespaceDecl.at... 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 
      error (1012): reference to undeclared entity: %maction.qname; 
line 20, http://senna.iems.nwu.edu/xml/xmps.dtd: 

and then finally it says:

error (5): reached max_errors; too many errors/warnings to print for
http://senna.iems.nwu.edu/xml/xmps.dtd 
error (5): reached max_errors; too many errors/warnings to print for
2stagenet.xml 

I guessed that some of this has to do with namespaces, so I tried
selecting "supress warnings" and "relax namespace checks" at STG, but that
didn't seem to change anything.

Thanks for your time!
Leo.

On Wed, 31 Oct 2001, David Carlisle wrote:

> 
> > but the STG validator doesn't like it.
> some mornings I don't like it either, but more specifically, what did it
> say about it?
> 
> David
> 
> _____________________________________________________________________
> This message has been checked for all known viruses by Star Internet
> delivered through the MessageLabs Virus Scanning Service. For further
> information visit http://www.star.net.uk/stats.asp or alternatively call
> Star Internet for details on the Virus Scanning Service.
> 
> 

========================================================================
Leonardo B. Lopes                                       leo@iems.nwu.edu 
Ph.D. Student                                              (847)491-8470
IEMS - Northwestern University              http://www.iems.nwu.edu/~leo

Received on Wednesday, 31 October 2001 11:28:36 UTC