[Trac] [OpenMath] #7: Denotation official of CDs

[OpenMath]

#7: Denotation official of CDs
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  assigned        
     Priority:  blocker     |      Milestone:  MathML3CD Draft1
    Component:  MathML CDs  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
----------------------------+-----------------------------------------------
Comment (by david):

 Personally I think we should drop this in OM3.

 I think it's an artificial barrier to getting contributed CDs. It's
 telling that since the end of the _first_ EU funded OpenMath project,
 there have not, as far as I'm aware, been any new official CDs. Unless the
 OM society has people working full time on this again, I suspect that we
 will never ave the resources to independantly verify CDs. The result is
 that all CDs are permanently held in experimental status.
 which avoids the problem but means that the end user has no real view of
 the stability.

 I'd rather see the stability being self-assessed. If I think my CD is
 experimental and I may change it tomorrow, let me flag it as such. If I
 have stopped working on it and want to freeze the CD let me classify it as
 stable.

 We could still assign the core CDs to OM society (and/or W3C) to give them
 a special status without taking over the status field in the CD in a way
 that I think is unhelpfully negative towards contributed CDs (een CDs
 contributed by core members, such as the RIACA CDs which have been
 "experimental" forever...

 David

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