W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

Re: OWL species and subproperties of rdfs:label

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Tue, 9 Jan 2007 10:46:41 -0500
Message-Id: <EB9CD431-1DC6-401C-9CFF-15033E3BEAF3@gmail.com>
Cc: Bernard Vatant <bernard.vatant@mondeca.com>, Dave Reynolds <der@hplb.hpl.hp.com>, Semantic Web <semantic-web@w3.org>, Tim Berners-Lee <timbl@w3.org>, marc@geonames.org, public-owl-dev@w3.org
To: Michael Schneider <m_schnei@gmx.de>
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:58 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:54 GMT