Propagating subproperty values to superproperties is a function of
the reasoner, and annotation properties are invisible to the reasoner
in OWL DL.
OWL 1.1 is currently being discussed. It removes some of the
motivation for having annotation properties - using them to add
properties to classes in OWL DL. Upon review of the spec I see that
there is special syntax for rdfs:label and that it is defined as an
annotation property. I'm wondering whether it makes sense to instead
define it as a datatype property, which would remove the restriction
that it can't have subproperties. In the spec its use is (halfway)
constrained to be a datatype property because when specified via the
Label() construct its value must be a "constant".
If this is acceptable for rdfs:label we should consider reviewing the
annotation property status of other similar properties, such as seeAlso.
-Alan
On Jan 9, 2007, at 7:33 AM, Michael Schneider wrote:
> "Annotation properties must not be used in property axioms.
> Thus, in OWL DL one cannot define subproperties [...]
> for annotation properties."
>
> But I did not find any reason there, /why/ this is forbidden.
>
> Any hints or comments?
>
> Cheers,
> Michael
>