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

Hi Peter,
 
Thanks for your response!
 
In our data model we have lots of binary relationships  mapped to OWL
Classes with two Properties. Two of these relationships are:
-         "classification" with "classified" and "classifier", which we map
to rdf:type 
-         "specialization". with "subclass" and "superclass", which we map
to rdfs:subClassOf 
 
Classification has four subclasses and specialization five. The examples I
gave were:
 
<owl:ObjectProperty rdf:ID="upperBoundOf">
      <rdfs:subPropertyOf
rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"/>
</owl:ObjectProperty>
 
which we would use for a NumberRange that is a member and the upper bound of
a NumberSpace
 
<owl:ObjectProperty rdf:ID="subClassByRoleOf">
      <rdfs:subPropertyOf
rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/>
</owl:ObjectProperty>
 
which we would use for a specialization where the superclass must be a Role
(one of the entity types in our model).
 
If you know a less perilous manner to represent this, I would be much
obliged.
 
Regards,
Hans
 
-----Original Message-----
From: Peter F. Patel-Schneider [mailto:pfps@research.bell-labs.com] 
Sent: Monday, August 22, 2005 12:36 PM
To: hans.teijgeler@quicknet.nl
Cc: semantic-web@w3.org; tore.r.christiansen@dnv.com
Subject: 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      
>