BFO-2020 icon indicating copy to clipboard operation
BFO-2020 copied to clipboard

BUG: Incorrect CLIF commented sentences

Open mereolog opened this issue 6 months ago • 1 comments

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.

mereolog avatar Aug 07 '24 14:08 mereolog