[Om3] Pragmatics, timing, summary, and proposed resolutions

Michael Kohlhase m.kohlhase at jacobs-university.de
Wed Mar 25 00:50:00 CET 2009



David Carlisle wrote:
>> There are two possible ways of changing the draft, one is to change the
>> pragmatic-to-strict translation (big ticket item), and another is to
>> possibly extend the definition of strict content MathML 
>>     
>
> ah with that clarification, I now understand what you mean, thanks.
>
>   
>> (one line in the schema and a couple in the spec text).
>>     
>
> Rather more than that I fear. But in anycase I don't think that we
> should assume that any changes that the OpenMath Soc.  decides to make
> to OpenMath will be automatically incorporated into MathML.  
Of course not, that is for the Math WG to decide.
> The OM
> group would have to make any decision to change OpenMath at this stage
> in the knowledge that this might, or might not, lead to it slipping out
> of alignment with MathML again, depending on what the Math WG decide to
> do at that time.
Yes, that is the nature of the coordination game, but it is good that
you spell this out in public.
>  Of course there are many things that OM could decide to
> do, such as new symbols for handling conditions that would not have any
> direct impact on the MathML spec.
>   
And I expressed my hope that this would be the majority of changes we
will see.

Michael
> David
>
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs. 
> ________________________________________________________________________
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3
>   

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * on Sabbatical in Auckland (NZ) until VII/2009
----------------------------------------------------------------------



More information about the Om3 mailing list