Re: MT RDFS closure rule bug?

>Pat,
>
>don't we need RDFS closure rules that add range and domain constraints
>e.g.
>
>aaa [rdfs:range] yyy
>yyy [rdfs:subClassOf] zzz
>
>then add
>
>aaa [rdfs:range] zzz
>
>
>and similarly for rdfs:domain.

NO. That would be disastrous for the datatyping and in any case not 
make sense. Why do want them?

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 Tuesday, 25 June 2002 11:27:16 UTC