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@[]>
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 

Pat Hayes
(650)859 6569 w
(650)494 3973 h (until September)

(image/gif attachment: image001.gif)

Received on Tuesday, 28 August 2001 19:06:45 UTC

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