> I note that we don't seem to be finished discussing the closure rules. But it is a monotonic increasing process, so termination is likely. (Soundness of a closure rule is usually trivial) You may notice that the cases are getting more and more obscure, these ones: - are concerning a semantic extension to RDFS, not RDFS itself - have never had a claim to completeness JeremyReceived on Thursday, 19 June 2003 07:37:36 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:57 EDT