RE: MT RDFS closure rule bug?

>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