Re: model theory publication draft

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