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

Well of course you *can* do this (in OWL Full).  Whether you *ought* to do this
is any entirely different matter.  

What you are doing here is perilously close to fiddling with "&" (the and
connector) in first-order logic.  Are you *absolutely* sure that this is
*really* what you need to do?

Peter F. Patel-Schneider 
Bell Labs Research



From: "Hans Teijgeler" <hans.teijgeler@quicknet.nl>
Subject: rdfs:subPropertyOf of rdf:type and rdfs:subClassOf possible?
Date: Mon, 15 Aug 2005 10:39:29 +0200

> 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      
>