[Trac] [OpenMath] #60: CD limit1

[OpenMath]

#60: CD limit1
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by clange):

 @Jakob, here are my ideas about copying the discussion to the
 [http://wiki.openmath.org wiki] – Thanks!  (''Additional comments that
 cannot easily be put into practice are in italics as a to-do for my own
 modelling of the
 [http://kwarc.info/projects/swim/pubs/lwa08-argumentation.pdf
 argumentation ontology]; you can ignore them for copying.'')

 Please handle Chris's comments 1-3 as follows:
  1. Issue with the whole CD.
   * David's reply: plain reply on the comment (''Maybe an Elaboration''?)
    * Chris: reply on the reply. (''No idea of what type this is: Think
 about that case'')
  1. Issue with the symbol "null"
   * David's reply: plain reply to the comment.  ''should actually be a
 supporting Argument''
  1. Issue with the symbol "tendsto"

 > mean is the operator element representing a mean or average.
 [Although I would remove 'or average' here as it is misleading (there are
 lots of 'averages' but we only mean the one called 'the mean'.]

 Iam saying, yet again, that we need to have a clear policy and be
 reasonably consistent in applying it (for 'K-12 oriented decsriptions in
 MathML', not necessarily for the CDs).

 @Jakob, where does this come from?  It doesn't seem to fit here, but
 rather to the symbol `s_data1#mean` (where it would be an Issue).  The
 line that Chris cites is not actually a comment, but something copied from
 the CD source, so only the stuff below, starting with "Although I would
 remove ..." should go into discussion posts.

  1. post "it is misleading" as an Issue for `s_data1#mean`
   * and reply to that with an "Idea" post that holds the rest of the
 sentence ("I would remove...")

 (Finally something that fits into my schema of argumentation! ;-)

 The very last sentence is maybe something that should be posted as a plain
 "Comment" on the main page of the wiki, as it is about a general policy.

-- 
Ticket URL: <https://trac.mathweb.org/OM3/ticket/60#comment:3>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.