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

model theory

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 28 Aug 2001 16:07:48 -0700
Message-Id: <v0421010bb7b1d33fc695@[130.107.66.237]>
To: w3c-rdfcore-wg@w3.org
Attached is the final version of the MT document. Ive included 
material on reification and containers in case anyone wants to see 
them, but these probably should be excised from the public document. 
Ive also taken out all the 'meta-theory' (all those damn lemmas) 
which I think is better at this stage.  We can put them into a 
different document later, if people are interested, and when I really 
have got the proofs finally DONE, but they really are about RDF/S 
rather than the model theory itself.

Sorry this has taken so long.  Now, who can help me get this into 
W3-document-ship-shape?

Pat Hayes
---------------------------------------------------------------------
(650)859 6569 w
(650)494 3973 h (until September)
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

image001.gif
Received on Tuesday, 28 August 2001 19:06:45 EDT

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