W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2002

Re: pinging about rdfs-subPropertyOf-semantics tests

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>
Message-Id: <1018036233.22225.48.camel@dirk>
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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:47:22 EDT