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 >Received on Tuesday, 9 January 2007 15:46:55 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:59 UTC