[om] About new XML encoding methods for OpenMath
paul at activemath.org
Fri May 16 17:35:18 CEST 2003
At the last OpenMath meeting, Michael Kohlhase has presented a few
solutions to use more "XML-ish" notations for OpenMath especially with
respect to content-dictionary references.
First a remark: actually using the namespace prefix inside attributes is
not really something completely counter-XML. Namely the XPath
expressions in XSL do make use of them.
Second, I wanted to stress an approach that stood in these slides.
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
To which I did complain that it would bring the nightmare of the MathML DTD.
Well, right after this proposition, was a bracket: "Schemas for
I wanted to actually reconsider this point as being a possibly not so
crazy fact. It would enjoy bringing some relatively formal syntax
specification with the content-dictionaries which would be appreciated,
I think, by many.:
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