BFO-2020
BFO-2020 copied to clipboard
BUG: Incorrect CLIF commented sentences
Describe the bug
IMHO, most if not all, CLIF files are syntactically incorrect as far as the use of CLIF commented sentences (commentsent
) is concerned.
To Reproduce
According to the spec all CLIF comment elements, e.g., CLIF commentsent, require that the 'cl:comment' is followed by a quotedstring
. And all quotedstrings
are delimited by single quotes (stringquote
), i.e., by '.
(I refer to ISO/IEC 24707:2018(E)).
Consider now https://github.com/BFO-ontology/BFO-2020/blob/master/src/common-logic/continuant-mereology.cl, in particular:
https://github.com/BFO-ontology/BFO-2020/blob/25c834ed1c33997b756d5f62fc763e09f9826c0c/src/common-logic/continuant-mereology.cl#L13-L15
Since this CLIF element uses double quotes (namequote
), it does not follow the ISO spec.
I guess that similar remarks can be made about all other commented sentences throughout other files.
Expected behaviour
All double quotes in commented sentences need to be replaced by single quotes (stringquote
), using innerstringquote
when needed.