- From: Matthew Pocock <matthew.pocock@ncl.ac.uk>
- Date: Thu, 12 Jul 2007 14:24:32 +0100 (BST)
- To: "Bijan Parsia" <bparsia@cs.man.ac.uk>
- Cc: "Matthew Horridge" <matthew.horridge@cs.man.ac.uk>, michel_dumontier@carleton.ca, "Owl Dev" <public-owl-dev@w3.org>, "Boris Motik" <bmotik@cs.man.ac.uk>, "Bernardo Cuenca Grau" <bcg@cs.man.ac.uk>
I think I'd prefer things to be as uniform as possible. Right now, all
axioms have annotations nested in them, including entity declarations. If
annotation properties are introduced using axioms, I'd prefer them to
follow the same pattern. Introducing an annotation property URI seems
analogus to introducing an object property URI, don't you think?
Matthew
> Or we could make annotationURIs a kind of entity. Or just extend the
> annotation axioms. I'd rather just have:
>
> 'Annotation('OWLAnnotationProperty(<URI>) {Annotation} ')'
>
> There doesn't seem to be a need for a completely distinct form of
> annotation here.
>
> Either way, it does seem to be a bug, assuming we're right that
> there's no way to express it currently (the Annotation form certainly
> doesn't seem to allow that), as:
> http://www.w3.org/TR/owl-semantics/syntax.html#2.3.1.3
>
> clearly allows annotations on AnnotationProperty entities in OWL DL.
>
> Cheers,
> Bijan.
>
>
Received on Thursday, 12 July 2007 13:25:32 UTC