sort out the namespace for notation definition

[jbs1]

migrated from Trac, where originally posted by kohlhase on 19-Jun-2008 7:33am

The development of OMDoc notation elements is somewhere between OpenMath, MathML, and OMDoc. We have to decide which namespace we want to use. This also means that we have to decide where the responsibility for them lies. Probably OpenMath.

[jbs1]

migrated from Trac, where originally posted by jhd on 21-Jun-2008 10:11am

"This also means that we have to decide where the responsibility for them [JHD: I assume Notation elements] lies. Probably OpenMath." According to Davenport/Libbrecht (to appear in Mathematics in Computer Science: http://hdl.handle.net/10247/468) responsibility for notation elements can lie anywhere. I expect the real question is where responsibility for the language to WRITE notation elements lies. This I think is certainly wider than OMDoc. Since it is largely attached to CDs, I too would guess that OpenMath is the answer. Whether we want to use the same namespace, or a new one, is a question I will leave to namespace gurus.

[jbs1]

migrated from Trac, where originally posted by polx on 21-Jun-2008 8:39pm

So it'd be http://www.openmath.org/Notation ?
Looks safe to me.

Please note that whether this is the OMDoc notations or something else could maybe be a matter of debate or?
The most mature I saw was that of MathML 3 drafts though it seems some feel it needs more work to get into there...

paul

[jbs1]

migrated from Trac, where originally posted by kohlhase on 25-Feb-2011 12:26pm

rescheduling

[kohlhase]

this is now rolled into OpenMath/OMSTD#19