gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

Colon in CLIF reserved names #12

Open greenTara opened 11 years ago

greenTara commented 11 years ago

Submitter: Pat Hayes

References in Document: Annexes A and B

Nature of Defect: The CLIF syntax uses several reserved names with an enclosed colon, such as "cl:imports". It has been pointed out by commentators that this is likely to give rise to clashes with a widely used XML convention called Qnaming, whereby a 'root' URI is abbreviated by a short prefix defined in the XML header, which is prefixed to a local name separated by a colon, such as 'rdf:type' being an abbreviation for the full URIreference 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type'. Solution: As this 'internal colon' convention serves no real purpose, simply replace it with hyphen. This does not change the language essentially and would require only minimal changes to any extant CL parsers. Since these 'words' are reserved, it is better to not use up commonly used words such as 'text' or 'comment', so rather than eliminate the 'cl:' prefix entirely, we propose abbreviating it without the comma, producing entirely artificial neologisms.

Proposed Solution: Throughout Annexes A and B, make the following textual substitutions: 'cl-module' for 'cl:module' 'cl-excludes' for 'cl:excludes' 'cl-imports' for 'cl:imports' 'cl-text' for 'cl:text' 'cl-comment' for 'cl:comment' 'cl-roleset' for 'roleset:' These occur on pages 27 - 31, page 52 (table B.1, line E5, second part), page 53, lines E12, E14, E17, E19, E20.