Dear James,
thank you for the concrete proposal, I still have to read it in detail,
but would like to make one suggestion that builds onto the current form
of the OM3/MathML3 CDs.
Following MathML practice, we have grouped corresponding CMP and FMP
elements into a <property> element like so
<property>
<CMP>A NL rendering of the property.</CMP>
<FMP>A formula giving the same property</FMP>
</property>
of course we can also only have only the CMP or only the FMP.
I rather like this, and I would propose to move the type="defining"
attribute you propose for FMP to the <property> element.
Michael
[EMAIL PROTECTED] wrote:
> On Mon, September 15, 2008 7:08 am, Michael Kohlhase wrote:
>
>> Dear James,
>>
>> I think that this calls for the defmp or generally definition element
>> you were calling for in Linz.
>>
> Probably so. I attach a (slightly updated0 version of the paper that was
> the background of what I said at Linz/Hagenberg.
>
>
> James Davenport
> Hebron & Medlock Professor of Information Technology
> Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept
> Currently (thankfully briefly) Acting Head, CS Dept
> Lecturer on CM30070, 30078, 50209, 50123
> Chairman, Powerful Computing WP, University of Bath
> OpenMath Content Dictionary Editor
> IMU Committee on Electronic Information and Communication
--
----------------------------------------------------------------------
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
[EMAIL PROTECTED] http://kwarc.info/kohlhase
skype: m.kohlhase * International University Bremen until Feb. 2007
----------------------------------------------------------------------
_______________________________________________
Om3 mailing list
[email protected]
http://openmath.org/mailman/listinfo/om3
