- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 28 Jun 2002 00:27:53 -0500
- To: Dan Connolly <connolly@w3.org>, Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
>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? Right, exactly: it doesn't, and shouldn't. Jeremy: remember that a class isn't just its extension. Even if the range of aaa had exactly the same members as yyy, it still wouldn't follow that yyy *was* the range of aaa. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Friday, 28 June 2002 01:27:52 UTC