Pat Hayes wrote: > > At last the model theory is in readable form, at > > http://www.coginst.uwf.edu/~phayes/RDF%20MT-currentdraft.html > > There is still an appendix 2 missing (with the proofs of the lemmas > in it) which I will attach in the next couple of days, but I thought > the rest of it was readable without that. > > The only really new part is the discussion of entailment in RDFS in section 5. I like the way it's written... especially since it specifies RDFS using a table that is *almost* a list of horn-logic rules ;-) > I've tried to take account of all the comments on what parts were > obscure, misleading, etc.., I haven't carefully read every word of this draft, but all the parts I've looked at are fine... at least as good as earlier drafts, if not better. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Tuesday, 18 September 2001 18:04:58 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:46 EDT