You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
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 text was updated successfully, but these errors were encountered: