The current spec defines an "entity annotation" as a type of axiom, but other
annotations are not
axioms. Because all axioms can be annotated, this means that it is possible to
annotate an entity
annotation.
This approach complicates the conceptual model of annotations. Either all
annotations should be
axioms, or none should. Meta-annotations should be introduced piecemeal merely
based mainly on
what is easy to encode using the functional syntax.
Original issue reported on code.google.com by jlc...@gmail.com on 11 Jun 2007 at 2:38
Original issue reported on code.google.com by
jlc...@gmail.com
on 11 Jun 2007 at 2:38