- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Mon, 22 Aug 2005 06:36:08 -0400 (EDT)
- To: hans.teijgeler@quicknet.nl
- Cc: semantic-web@w3.org, tore.r.christiansen@dnv.com
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 >
Received on Monday, 22 August 2005 10:36:24 UTC