declaration axioms and annotations

[GoogleCodeExporter]

Declarations are currently considered axioms, and as such can be annotated.

It is debatable whether declarations should be considered axioms at all, since 
they carry no 
semantic import, and act more like annotations in their own right.

It is also extremely unclear how an annotation of a declaration differs from an 
entity annotation on 
the entity being declared. A single mechanism for attaching annotations to 
entities would be 
preferable.

Original issue reported on code.google.com by jlc...@gmail.com on 11 Jun 2007 at 3:03

[GoogleCodeExporter]

Related issue?: http://code.google.com/p/owl1-1/issues/detail?id=34&q=annotation

See also:
    http://lists.w3.org/Archives/Public/public-owl-dev/2007JulSep/0007.html

Original comment by bparsia on 14 Aug 2007 at 1:42

[GoogleCodeExporter]

Original comment by alanruttenberg@gmail.com on 25 Oct 2007 at 4:39

• Changed state: Migrated