Repository navigation
Allow for metadata in smaller units than whole CDs #40
Description
migrated from Trac, where originally posted by clange on 13-Jun-2008 5:26pm
… 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.
Metadata
Metadata
Assignees
Labels
No labels
Activity
jbs1 commentedon Jul 6, 2016
migrated from Trac, where originally posted by jhd on 13-Jun-2008 11:10pm
This certainly seems reasonable, and the use case "It's easy to imagine that an Example has a different author than the CDDefinition itself or than a CMP within the CDDefinition" is pretty compelling.
If it falls out of the others, so much the better.
jbs1 commentedon Jul 6, 2016
migrated from Trac, where originally posted by clange on 16-May-2014 12:49am
Still reasonable IMHO but would require a major redesign. I think we are not ready for this, so feel free to close.
kohlhase commentedon Oct 2, 2017
no longer relevant.