ISSUE-20: REJECTED: declaration axioms and annotations

annotate-declarations?

REJECTED: declaration axioms and annotations

State:

CLOSED

Product:

Raised by:

Jeremy Carroll

Opened on:

2007-10-25

Description:

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 (ISSUE-16)


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

Related Actions Items:

No related actions

Related emails:

1. annotations (was Re: Agenda for Teleconference.2008.08.13) (from pfps@research.bell-labs.com on 2008-08-12)
2. Re: Agenda for Teleconference.2008.08.13 (from alanruttenberg@gmail.com on 2008-08-12)
3. Re: Agenda for Teleconference.2008.08.13 (from pfps@research.bell-labs.com on 2008-08-12)
4. Re: Rich Annotations (from pfps@research.bell-labs.com on 2007-11-25)
5. ISSUE-20 (annotate-declarations?): REPORTED: declaration axioms and annotations (from sysbot+tracker@w3.org on 2007-10-25)

Related notes:

Display change log