Open cmungall opened 1 year ago
Proposal:
Note that the owlapi currently converts unquoted to quoted (it has always done this - not related to recent changes). This means that using this proposed 1.6 extension will not cause syntax errors but will cause unwanted conversion to strings. This seems acceptable
Boolean values in axiom annotations become strings (@balhoff: need to check example for this)