- From: McBride, Brian <bwm@hplb.hpl.hp.com>
- Date: Thu, 25 Jan 2001 18:40:16 -0000
- 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 UTC