[Om3] Symbol Definitions in the Description elements (that go into chapter4)

[Michael Kohlhase]

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


jhd at cs.bath.ac.uk 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
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------