[om] A Proposal for extending OpenMath with structure sharing

[jhd at cs.bath.ac.uk]

On Wed, 3 Apr 2002, Andreas Strotmann wrote:
> A)  interpret(ref(label)) = deref'(label) where deref' is dereferencing
>          on the semantic layer
>     (syntactic sharing => semantic sharing)
> 
> or is it
> 
> B)  interpret(ref(label)) = interpret(deref(label))
>     (syntactic sharing does not imply semantic sharing necessarily)
> 
> Note that B) is also the only choice that I can see is compatible with
> avoiding changing the OpenMath Standard itself, since right now the
> standard does not say anything at all about the semantics of common
> sub-trees in an OM Object (the way I understand that document).
I don't think we need to change the standard, anywhere except in OMR (or, 
following my suggestion, OMRSYN and OMRSEM), and OMR implies a change 
anyway.
James
--
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