Re: pinging about rdfs-subPropertyOf-semantics tests

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