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 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:04 UTC