it would be good to decide in advance how this should be stored with the current pseudo-lisp datastructures. Functional syntax and owlx place annotations as the first argument which is IMHO weird and may be particularly hard to work with using the current untyped structures.
I think the best options are:
break with s-expressions and use a mixed dict/list structure
place axiom annotations as the last argument, and ALWAYS include them, even if [], that way the s-expressions can be evaluated unambiguously
It looks like axiom annotations are not included.
it would be good to decide in advance how this should be stored with the current pseudo-lisp datastructures. Functional syntax and owlx place annotations as the first argument which is IMHO weird and may be particularly hard to work with using the current untyped structures.
I think the best options are:
[]
, that way the s-expressions can be evaluated unambiguously