[Trac] [OpenMath] #40: Allow for metadata in smaller units than whole CDs

[OpenMath]

#40: Allow for metadata in smaller units than whole CDs
---------------------------+------------------------------------------------
    Reporter:  clange      |           Owner:  kohlhase  
        Type:  proposal    |          Status:  new       
    Priority:  major       |       Milestone:            
   Component:  CD3 Format  |         Version:            
    Keywords:              |   Include_gantt:  0         
Dependencies:              |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 … as single symbols or examples can also have distinct authors. See
 http://kwarc.info/projects/swim/pubs/semwiki08-notation-semantics.pdf,
 section 3 and 4 for a motivation from a use case.

 This proposal is related to #38 and #39, as the latter approaches would
 easily allow for metadata anywhere.

 As a reasonable granularity for metadata, I propose
  * the CD level (as we have it now in OM2)
  * the symbol level (CDDefinitions or signatures or notation definitions)
  * some children of CDDefinition: CMP, FMP, Example, and related ones to
 be introduced in OM3. It's easy to imagine that an Example has a different
 author than the CDDefinition itself or than a CMP within the CDDefinition.

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