W3C home > Mailing lists > Public > www-math@w3.org > July 2010

How to use CDBase URIs in Content MathML?

From: Christoph LANGE <ch.lange@jacobs-university.de>
Date: Mon, 12 Jul 2010 15:30:22 +0200
To: Urs Holzer <urs@andonyar.com>, "www-math@w3.org" <www-math@w3.org>
Message-Id: <201007121530.32354.ch.lange@jacobs-university.de>
Dear all,

  I'm writing in response to an issue pointed out by Urs Holzer (Cc).  He said
that in http://www.w3.org/TR/MathML3/chapter4.html the csymbol/@cdbase
attribute is not documented.  Indeed, the only occurrence of the word "cdbase"
is in the definition of how URIs for OpenMath symbols are constructed.

But then, OTOH, the description in section seems to suggest that
actually Content MathML does not have a direct counterpart to OpenMath's <OMS
cdbase="B" cd="C" name="N"/>.  We can only write <csymbol cd="C">N</csymbol>
and hope for one of the following:

* B is somehow set by the enclosing document
* there is a @cdgroup attribute on the <math> element that points to a "CD
  group file" – from OpenMath I know what such a file is, but in the relevant
  MathML spec section it is not really specified how that mechanism works.
  Section http://www.w3.org/TR/MathML3/chapter2.html#interf.toplevel.atts
  gives no reference to the specific section of the OpenMath spec, and Section does, though.
* B happens to be http://www.openmath.org/cd

OK, but I'm still confused:  How would I translate the following to Content

    <OMS cdbase="http://example.org/cd" cd="foo" name="bar"/>
    <OMS cdbase="http://somewhere.com/cd" cd="foo" name="baz"/>
    <OMS cdbase="http://frobnitz.org/cd" cd="foo" name="fnord"/>

I.e. what do I do when one formula uses symbols from CDs that have the same
relative name but under different CDBase URIs?

And why is there no csymbol/@cdbase?

Cheers, and thanks,


Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

Received on Monday, 12 July 2010 13:30:20 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:43 UTC