>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/~phayesReceived on Tuesday, 25 June 2002 11:27:16 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:49:23 EDT