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

RE: MT RDFS closure rule bug?

From: Dan Connolly <connolly@w3.org>
Date: 27 Jun 2002 09:53:37 -0500
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org
Message-Id: <1025189617.20758.50.camel@dirk>

On Wed, 2002-06-26 at 04:08, Jeremy Carroll wrote:
[...]
> Any interpretation of any 
> 
> > >aaa [rdfs:range] yyy
> > >yyy [rdfs:subClassOf] zzz
> 
> 
> is an interpretation of
> 
> > >aaa [rdfs:range] zzz

I don't think our specs say that.


> thus the closure rule holds.
> 
> (Not) Proof:
> 
> Ahh, it depends on rdfs:range not being in the domain of discourse.
> neglecting that little factette and invalidating the proof ...
> 
> Whenever 
> iii aaa jjj .
> then
> jjj [rdf:type] yyy .
> hence
> jjj [rdf:type] zzz .
> 
> hence
> 
> aaa [rdfs:range] zzz .
> 
> ==

Where does that last step come from? Which part of our
spec allows you to conclude the rdfs:range triple?


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 27 June 2002 10:54:10 EDT

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