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 > > [EMAIL PROTECTED] 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 > [EMAIL PROTECTED] 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 _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
