>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/~phayesReceived on Friday, 28 June 2002 01:27:52 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:49:26 EDT