- From: Dan Connolly <connolly@w3.org>
- Date: 05 Apr 2002 13:50:31 -0600
- To: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Cc: phayes@ai.uwf.edu, w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
On Fri, 2002-04-05 at 11:00, Jos De_Roo wrote: > Dan and Pat, > > In the RDFCore telecon today I took an action > > >2002-04-05#11: josd ping pat, danc to look at > >rdfs-subPropertyOf-semantics tests > > [[[ > Issue rdfs-subPropertyOf-semantics: > The inheritance semantics of the subPropertyOf relationship needs to be clarified. > > => subProperties inherit conjunctively the domain and range of their superproperties > ]]] > . > and the entailment test case is > > ( <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt> > <http://www.w3.org/2000/01/rdf-schema#> ) > log:entails > <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt> . Yes, test002 does indeed follow from test001 (and the RDF Schema closure rules). I reproduced this using cwm and a transcription of the schema closure rules: http://www.w3.org/2000/10/swap/util/rdfs-rules.n3 -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 5 April 2002 15:00:15 UTC