My favorites | Sign in
Project Logo
                
New issue | Search
for
| Advanced search | Search tips
Issue 37: declaration axioms and annotations
2 people starred this issue and may be notified of changes. Back to list
Status:  Migrated
Owner:  ----
Closed:  Oct 2007
Type-Defect
Priority-Medium


Sign in to add a comment
 
Reported by jlc415, Jun 11, 2007
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.
Comment 1 by bparsia, Aug 14, 2007
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
Comment 2 by alanruttenberg, Oct 24, 2007
(No comment was entered for this change.)
Status: Migrated
Sign in to add a comment

Hosted by Google Code