Re: rdfs:subPropertyOf of rdf:type and rdfs:subClassOf possible?

AFAIK, in OWL Full you can do that (rule of thumb: you can do everything in
Full...).

In OWL DL you cannot: object properties’ values must be usually be an owl:Thing
(or, for some of those like type, an owl:Class). So I am afraid the

	rdfs:subPropertyOf rdf:resource="....#type"

is not permitted in DL.

(There are better experts than me, but I believe that is the answer)

Ivan

Hans Teijgeler wrote:
> Hi,
>  
> Is there any expert who can give me a response?
>  
> Regards,
> Hans
>  
>   _____  
> 
> From: Hans Teijgeler [mailto:hans.teijgeler@quicknet.nl] 
> Sent: Monday, August 15, 2005 10:39 AM
> To: 'semantic-web@w3.org'
> Cc: Christiansen Thore (tore.r.christiansen@dnv.com)
> Subject: rdfs:subPropertyOf of rdf:type and rdfs:subClassOf possible?
>  
> Hi,
>  
> I need to define a subProperties of rdf:type and also of rdfs:subClassOf.
> When I look at the domain and range of rdfs:subPropertyOf I see that both
> require an rdf:Property. And rdf:type and rdfs:subClassOf are Properties.
>  
> So, is the following allowed?
>  
> <owl:ObjectProperty rdf:ID="upperBoundOf">
>   <rdfs:subPropertyOf
> rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"/>
> </owl:ObjectProperty>
>  
> <owl:ObjectProperty rdf:ID="subClassByRoleOf">
>   <rdfs:subPropertyOf
> rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/>
> </owl:ObjectProperty>
>  
> Regards,
> Hans
>  
> _______________________ 
> Hans Teijgeler
> ISO 15926 specialist
>  <http://www.InfowebML.ws> www.InfowebML.ws
>  <mailto:hans.teijgeler@quicknet.nl> hans.teijgeler@quicknet.nl
> phone +31-72-509 2005      
>  
> 

-- 

Ivan Herman
W3C Communications Team, Head of Offices
C/o W3C Benelux Office at CWI, Kruislaan 413
1098SJ Amsterdam, The Netherlands
tel: +31-20-5924163; mobile: +31-641044153;
URL: http://www.w3.org/People/Ivan/