- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 18 Sep 2001 18:04:57 -0400
- To: Pat Hayes <phayes@ai.uwf.edu>
- CC: w3c-rdfcore-wg@w3.org
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 UTC