search

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

allow reordering in functional syntax #62

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Many constructs in the functional syntax that 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.

Original issue reported on code.google.com by pfpschne...@gmail.com on 24 Oct 2007 at 3:21

GoogleCodeExporter commented 9 years ago

Original comment by pfpschne...@gmail.com on 24 Oct 2007 at 8:19