W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2001

RE: subproperty question

From: McBride, Brian <bwm@hplb.hpl.hp.com>
Date: Thu, 25 Jan 2001 18:40:16 -0000
Message-ID: <5E13A1874524D411A876006008CD059F0183D5DC@0-mail-1.hpl.hp.com>
To: Stefan Decker <stefan@db.stanford.edu>, www-rdf-interest@w3.org
Cc: sintek@smi.stanford.edu
Interesting question Stefan.

From the schema spec (which I don't claim to know very well)

  If some property P2 is a subPropertyOf another more general
  property P1, and if a resource A has a P2 property with a
  value B, this implies that the resource A also has a P1 
  property with value B.

Lets have three classes c1, c2 and c3, and a property spsc which is
a subproperty of subPropertyOf.  Given:

  spsc(c1,c2)
  spsc(c2,c3)

we have:

  spsc(c1,c2) => subPropertyOf(c1,c2)
  spsc(c2,c3) => subPropertyOf(c2,c3)

which together imply subPropertyOf(c1,c3).

Does that work for you or am I missing something?

Brian
 

> -----Original Message-----
> From: Stefan Decker [mailto:stefan@db.stanford.edu]
> Sent: 24 January 2001 21:45
> To: www-rdf-interest@w3.org
> Cc: sintek@smi.stanford.edu
> Subject: subproperty question
> 
> 
> Dear interest group,
> 
> according to the RDF Schema specification 
> http://www.w3.org/TR/rdf-schema/
> the rdfs:subClassOf property is transitive (see 
> http://www.w3.org/TR/rdf-schema/#s2.3.2 ).
> 
> Now: is a subproperty of rdfs:subClassOf also supposed to be 
> transitive?
> The specification (http://www.w3.org/TR/rdf-schema/#s2.3.3) 
> doesn't mention 
> this
> case.
> 
> Thanks and all the best,
> 
> 	Stefan
> 
> 
> 
Received on Thursday, 25 January 2001 13:40:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:47 GMT