[om] About new XML encoding methods for OpenMath

David Carlisle davidc at nag.co.uk
Wed May 21 15:28:05 CEST 2003

  Namely, Michael suggested to use instead of:
	<OMS name="in" cd="set1"/>
  to use, with a namespace declaration like
  xmlns:lset="http://www.openmath.org/cds/set1", the following

This has been suggested many times (since even before namespaces was a
REC, if I recall correctly), the main disadvantage is that given such an
approach one would essentially have to replace OMS by the ANY (xsd:any)
content model in any DTD (or schema) for openmath.

This means that

  <html:p>Some strange bit of xhtml
    <html:a  href="...">zzz</html:a>

would (assuming appropriate namespace declarations) validate against the
OM schema.

in otherwords there would be virtually no checks done at all by schema
validation, and more or less any random bits of well formed XML could be
included and it would still validate. "OM Validation" would have to be
specified as a layer above DTD/schema validation.

One could define special purpose schema which replaced xsd:any by
exactly the schema corresponding to the CDs that you want to support,
this would give a finer level of control than we have now, as then
schema validation would check that symbols used were in the CDs
specified, but it would require modifying the schema for each set of CDs

Some days I think the benefits of this change outweigh the costs, and
some days I don't (I'm not sure which kind of day it is today)


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:
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list