RE: subproperty question

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