[Om3] Splitting <Description>

[jhd at cs.bath.ac.uk]

On Wed, September 17, 2008 6:50 am, Michael Kohlhase wrote:
> Just to be clear, you are proposing
>
> <Description>
>   <Overview>
>      something short in plain unicode here
>   </Overview>
>   <Detail>
>     a larger, detailed discussion here that contains mathml.
>   </Detail>
> </Description>
Given the way <Property> is collected these days, that makes sense, and I
like the distinctiona s to where the MathML/OM goes. HOWEVER, I think we
should be cautious about putting MathML/OM into <Detail>, since normally
it would belong in a <Property>, as in the example of <outerproduct> you
quoted earlier. That isn't to say that there aren't occasions when it's
the right thing to do.
> correct? By our current thinking, this could be followed by (according
> to current practice; but capitalized to keep the OCD spirit) multiple
>
> <Property>
>     <CMP>A NL rendering of the property.</CMP>
>     <FMP>A formula giving the property</FMP>
> </Property>
>
> and multiple
>
> <Example>...</Example>
>
> Michael
>
> jhd at cs.bath.ac.uk wrote:
>> On Mon, September 15, 2008 5:58 am, Michael Kohlhase wrote:
>>
>>> I think we are quite in consensus here that we need two elements for
>>> describing a symbol, and there have been a number of element name
>>>
>> Excellent.
>>
>>> suggestions floating around. We are currently using <Description> and
>>> <discussion> purely for legacy reasons.
>>>
>> I rather dislike <discussion>, as it sounds non-normative
>>
>>> @James, are you making the suggestion that we should use <overview> and
>>> <detail> as element names, or just to clarify the issue.
>>>
>> OK - I'll make this as a formal suggestion, but I'll do so in two parts:
>> (a) that <Description> be split in two: a general description suitable
>> for
>> K14 and a more detailed definition;
>> (b) that these two parts be called <Overview> and <Detail> (initial caps
>> does seem to be the general system).
>>
>> 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
> ----------------------------------------------------------------------
>
>
>
>


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