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

model theory publication draft

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Tue, 18 Sep 2001 14:27:44 -0500
Message-Id: <p05101004b7cd4e282ca9@[205.160.76.182]>
To: w3c-rdfcore-wg@w3.org
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've tried to take account of all the comments on what parts were 
obscure, misleading, etc..,

I've added a general introductory paragraph for model-theoretic 
newbies, and incorporated some comments here and there which were 
once in separate sections in earlier drafts (eg 3.1) .  If anyone 
feels that the brief comment on containers (section 6) goes beyond 
the action item, then I can take it out again.

Pat

PS. This was made using dreamweaver, so its better HTML than the last 
effort, but it hasn't yet been run through the W3C  filters.

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Tuesday, 18 September 2001 15:27:52 EDT

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