[om] semantics of structure sharing

[Steve Braham]

I don't think that one would work, as it's an obvious violation
of the semantics. If we have sharing, it shouldn't project down
to the actual "OpenMath" structure.

				Steve

p.s. Also, you might want to share attributes! *L*

Manfred Riem wrote:
> 
> 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

--
Stephen P. Braham			Director, PolyLAB
warp at polylab.sfu.ca			TIME Centre 
(604) 268-7981				Simon Fraser University 
(fax) 268-7980				Harbour Centre Campus
http://team.polylab.sfu.ca/~warp/	Vancouver, BC, Canada

   PolyLAB: From the Classroom to Space, http://polylab.sfu.ca/
--
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