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. JeremyReceived on Tuesday, 25 June 2002 09:57:29 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:49:22 EDT