[om] A Proposal for extending OpenMath with structure sharing

[Michael Kohlhase]

> 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.

     Michael


--
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