[om-a] W3C XML Schema for openmath

[David Carlisle]

I have updated the draft W3C Schema for Openmath available from

http://www.openmath.org/standard/omobj.xsd

Two sets of changes:

Corrections to some of the regular expression patterns

New local element type defined to ensure that an attributed variable
used in an OMBIND construct really does have an OMV as the body of
(possibly nested) OMATTR attributions. This restriction is enforced in
the text of the OM standard but can not be enforced by DTD and was not
enforced by the previous schema.



so if you take forall x. x with the binding occurrence of x being
attributed with two (meaningless) attributions:

<OMBIND>
<OMS cd="quant1" name="forall"/>
<OMBVAR>
<OMATTR>
  <OMATP>
  <OMS name="xxx" cd="a"/>
  <OMI> 1</OMI>
  </OMATP>
  <OMATTR>
  <OMATP>
  <OMS name="yyy" cd="b"/>
  <OMI> 2</OMI>
  </OMATP>
  <OMV name="x"/>
</OMATTR>
</OMATTR>
</OMBVAR>
<OMV name="x"/>
</OMBIND>

This validates, but if the ONV had been <OMI>6</OMI>

<OMBIND>
<OMS cd="quant1" name="forall"/>
<OMBVAR>
<OMATTR>
  <OMATP>
  <OMS name="xxx" cd="a"/>
  <OMI> 1</OMI>
  </OMATP>
  <OMATTR>
  <OMATP>
  <OMS name="yyy" cd="b"/>
  <OMI> 2</OMI>
  </OMATP>
  <OMI>6</OMI><!-- wrong -->
</OMATTR>
</OMATTR>
</OMBVAR>
<OMV name="x"/>
</OMBIND>

This no longer validates (although it would be valid according to the
DTD)


Comments or suggestions for further improvements to the schema are
welcome...


David

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems