proposal to close issue-4

I don't think this one is worth taking action on. There is little to  
win. So I propose we close it as resolved without action.

-Alan

Issue:

Some constructs in the functional syntax accept multiple different
kinds of sub-constructs have a fixed order.  For example, in an ontology
the annotations must preceed the axioms.  It would be better to allow  
the
sub-constructs to be mixed together, e.g., to allow interspersing of
annotations and axioms in an ontology.

Later comment by Peter:
2007-10-29 08:39:19: On further examination, the main construct is  
Ontology. The other place that order could be relaxed is annotations  
in axioms, but this causes problems with EntityAnnotation, as that  
has two kinds of annotations. Perhaps letting annotations have  
annotations would fix this, but it would introduce an asymmetry  
between this construct and the "other" axioms.

Received on Tuesday, 6 May 2008 05:35:57 UTC