[Om] OMR xref vs href
Dan Roozemond
d.a.roozemond at tue.nl
Thu Jan 29 11:27:21 CET 2009
Dear OpenMath users,
While using OpenMath in the SCIEnce project
(http://www.symbolic-computation.org) we stumbled upon the following.
The grammar defines OMR's as:
# reference constructor
OMR = element OMR { common.attributes,
attribute href { xsd:anyURI }
}
but then in examples 'xref' instead of 'href' is used several times, e.g.
<OMOBJ version="2.0">
<OMA id="bar">
<OMS cd="arith1" name="plus"/>
<OMI>1</OMI>
<OMR xref="baz"/>
</OMA>
</OMOBJ>
What is the correct use? Is there a difference between xref and href?
One could deduce from the standard that xref could/should/must point to
a local id, and href could/should/must be a URI, so that
<OMR xref="baz">
is equivalent to
<OMR href="#baz">
, but this is nowhere mentioned explicitly.
Kind regards,
Dan Roozemond
More information about the Om
mailing list