[om] A Proposal for extending OpenMath with structure sharing
Michael_Kohlhase at asuka.mt.cs.cmu.edu
Mon Apr 8 16:29:44 CEST 2002
> On Thu, 4 Apr 2002, Michael Kohlhase wrote:
> > 1) my original proposal of adding an OMR element (only) to the XML
> > encoding.
> > [this is equivalent to the OMRSYN proposal of James and does
> > not change the OpenMath standard, only the encoding]
> I believe that the XML encoding is in the standard, so to that extent it
> does change the standard.
That is correct, it does not change the semantics of OpenMath objects, only
the XML encoding.
> > The concrete syntax of these elements (OMR or OMRSYM) is relatively
> > immaterial at the moment. My preference would be to have
> > <OMR semantic="yes" ... /> for OMRSEM and <OMR semantic="no" ... /> for OMRSYN
> > (we could make the default value for the attribute 'semantic' to be "yes"),
> Don't you meet "no"?
You are right, I mean that the default should be "no", sorry.
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