[om] semantics of structure sharing

[Manfred Riem]

Hi all,

I've been following the discussion about semantic sharing by lurking,
but now feel prompted to add my 2 cents.

Why not keep the standard as it is and use the features already
available to use. Eg. use OMATTR to introduce the sharing.

Eg. for the object we want to refer to.

  <OMOBJ>
   <OMATTR>
    <OMATP>
     <OMS cd="semshar" name="label"/>
     <OMV name="mylabel"/>
    </OMATP>
    <OMA>
     rest of object.
    </OMA>
   </OMATTR>
  </OMOBJ>

Eg. for the reference.

  <OMOBJ>
   <OMATTR>
    <OMATP>
     <OMS cd="semshare" name="ref">
     <OMV name="mylabel">
    </OMATP>
    <OMS cd="semshare" name="holder"/>
   </OMATTR>
  </OMOBJ>
    
Or use an application instead?

Regards,
Manfred.


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