{"action":"created","issue":{"url":"https://api.github.com/repos/OpenMath/OM3/issues/71","repository_url":"https://api.github.com/repos/OpenMath/OM3","labels_url":"https://api.github.com/repos/OpenMath/OM3/issues/71/labels{/name}","comments_url":"https://api.github.com/repos/OpenMath/OM3/issues/71/comments","events_url":"https://api.github.com/repos/OpenMath/OM3/issues/71/events","html_url":"https://github.com/OpenMath/OM3/issues/71","id":164095513,"number":71,"title":"Clarify the semantics of CDComment","user":{"login":"jbs1","id":6561806,"avatar_url":"https://avatars.githubusercontent.com/u/6561806?v=3","gravatar_id":"","url":"https://api.github.com/users/jbs1","html_url":"https://github.com/jbs1","followers_url":"https://api.github.com/users/jbs1/followers","following_url":"https://api.github.com/users/jbs1/following{/other_user}","gists_url":"https://api.github.com/users/jbs1/gists{/gist_id}","starred_url":"https://api.github.com/users/jbs1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jbs1/subscriptions","organizations_url":"https://api.github.com/users/jbs1/orgs","repos_url":"https://api.github.com/users/jbs1/repos","events_url":"https://api.github.com/users/jbs1/events{/privacy}","received_events_url":"https://api.github.com/users/jbs1/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"jbs1","id":6561806,"avatar_url":"https://avatars.githubusercontent.com/u/6561806?v=3","gravatar_id":"","url":"https://api.github.com/users/jbs1","html_url":"https://github.com/jbs1","followers_url":"https://api.github.com/users/jbs1/followers","following_url":"https://api.github.com/users/jbs1/following{/other_user}","gists_url":"https://api.github.com/users/jbs1/gists{/gist_id}","starred_url":"https://api.github.com/users/jbs1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jbs1/subscriptions","organizations_url":"https://api.github.com/users/jbs1/orgs","repos_url":"https://api.github.com/users/jbs1/repos","events_url":"https://api.github.com/users/jbs1/events{/privacy}","received_events_url":"https://api.github.com/users/jbs1/received_events","type":"User","site_admin":false},"assignees":[{"login":"jbs1","id":6561806,"avatar_url":"https://avatars.githubusercontent.com/u/6561806?v=3","gravatar_id":"","url":"https://api.github.com/users/jbs1","html_url":"https://github.com/jbs1","followers_url":"https://api.github.com/users/jbs1/followers","following_url":"https://api.github.com/users/jbs1/following{/other_user}","gists_url":"https://api.github.com/users/jbs1/gists{/gist_id}","starred_url":"https://api.github.com/users/jbs1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jbs1/subscriptions","organizations_url":"https://api.github.com/users/jbs1/orgs","repos_url":"https://api.github.com/users/jbs1/repos","events_url":"https://api.github.com/users/jbs1/events{/privacy}","received_events_url":"https://api.github.com/users/jbs1/received_events","type":"User","site_admin":false}],"milestone":null,"comments":3,"created_at":"2016-07-06T14:53:26Z","updated_at":"2016-07-06T14:53:27Z","closed_at":null,"body":"_migrated from Trac, where originally posted by **clange** on 8-Sep-2008 2:44pm_\n\nThe semantics of CDComment is unclear, or at least not semantic-web-friendly.  Let me cite from the 2.0 spec:\n```\nThe content of this element should be text that does not convey\nany crucial information concerning the current Content Dictionary.\n```\nIn many cases it does convey crucial information, namely licensing.  But maybe we want a special element for that (cf. #18).\n```\nIt can be used in the Content Dictionary header to report the \nauthor of the Content Dictionary and to log change information.\n```\nSpecial fields for the author have been proposed already (cf. #12, #38).\n\nStill, there may be information that just doesn't fit into whatever extended metadata scheme -- information that the author still considers \"comment\"-like.  If we follow #39, I'd propose reusing [rdfs:comment](http://www.w3.org/TR/rdf-schema/#ch_comment) and declaring `CDComment` as syntactic sugar.\n```\nIn the body of the Content Dictionary, it can be used to attach \nextra remarks to certain symbols.\n```\nFine.  It does make sense to have multiple \"comment\" metadata fields in a CD, which are separate from each other.  But not mixed with `CDDefinitions`!  That looks to me like a relic from the plain text age, which I consider incompatible with well-defined XML markup and the semantic web.  For attaching comments to symbols, we do have `CDComment` as a child of `CDDefinition`, and in the line of #40 we might want to allow `CDComment` on more fine-grained levels as well.  But what semantics does\n```\n<CD>\n  <CDDefinition/>\n  <CDComment/>\n  <CDDefinition/>\n</CD>\n```\nhave?  Is the comment a comment about the preceding symbol? Then it should be a child of that CDDefinition!  Same for the following symbol.  Otherwise, the relation between the comment and the thing that it comments wouldn't be clear to an automated data processor.  If it is a comment about the CD, then it could as well be placed in the CD header, preceding any CDDefinitions."},"comment":{"url":"https://api.github.com/repos/OpenMath/OM3/issues/comments/230797184","html_url":"https://github.com/OpenMath/OM3/issues/71#issuecomment-230797184","issue_url":"https://api.github.com/repos/OpenMath/OM3/issues/71","id":230797184,"user":{"login":"jbs1","id":6561806,"avatar_url":"https://avatars.githubusercontent.com/u/6561806?v=3","gravatar_id":"","url":"https://api.github.com/users/jbs1","html_url":"https://github.com/jbs1","followers_url":"https://api.github.com/users/jbs1/followers","following_url":"https://api.github.com/users/jbs1/following{/other_user}","gists_url":"https://api.github.com/users/jbs1/gists{/gist_id}","starred_url":"https://api.github.com/users/jbs1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jbs1/subscriptions","organizations_url":"https://api.github.com/users/jbs1/orgs","repos_url":"https://api.github.com/users/jbs1/repos","events_url":"https://api.github.com/users/jbs1/events{/privacy}","received_events_url":"https://api.github.com/users/jbs1/received_events","type":"User","site_admin":false},"created_at":"2016-07-06T14:53:27Z","updated_at":"2016-07-06T14:53:27Z","body":"_migrated from Trac, where originally posted by **clange** on 2-Jun-2014 11:13am_\n\nReplying to [comment:2 lars_h]:\n> A perfectly sensible use of CDComment as sibling of CDDefinition that I have seen in some places is as container for a section heading and (possibly) some introductory text following this. Cf. http://www.openmath.org/cd/polyd.xhtml  The current rendering does not convey that intent, but it is pretty clear in the .ocd source, and resonates well with the whole Literate Programming paradigm.\nThanks for pointing out!  Sectioning is indeed another situation in which `CDComment` is being used.  This makes it even less clear to _generally_ tell what semantic element (`CD`, `CDDefinition`, etc.) a `CDComment` belongs to.  So how about specifying the following?\n\n* `CDComments` as children of `CD` apply to the CD as a whole\n* `CDComments` as children of `CDDefinition` apply to that symbol\n* For any other situation (e.g. a section that comprises more than one symbol but not the CD as a whole), we introduce a `CDSection` element, whose `CDComment` children apply to that section."}}
{"actor":{"display_login":"jbs1"}}