W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

Re: model theory publication draft

From: Dan Connolly <connolly@w3.org>
Date: Tue, 18 Sep 2001 18:04:57 -0400
Message-ID: <3BA7C509.1BBAC034@w3.org>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:46 EDT