- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 28 Aug 2001 23:07:15 -0500
- To: pat hayes <phayes@ai.uwf.edu>
- CC: w3c-rdfcore-wg@w3.org
pat hayes wrote: > > 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. Quite. Containers aren't novel, in the model theory (as I said, let's strike all the stuff about Alt being disjunctive) and I don't want to try to put reification issues between us and release. > Ive also taken out all the 'meta-theory' (all those damn lemmas) > which I think is better at this stage. I miss those; it was the proof theoretic lemmas/corrollaries that really allowed me to get my head around the model theory. I guess they're not critical, but they really cleared up a lot of things for me, and they seem much more closely connected to some of the real-world implementation issues than the pure model theory; e.g. the question of "what happens when you split a document in two and then try to put it back together again?" had a very clear analog in the previous MT draft. > 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. Well, after all, job 1 is clarifying RDF/S; the model theory is a means, not the end. > Sorry this has taken so long. Not at all... keep the good stuff coming... I can accept putting the proof theory/lemmas back in after 1st publication, but it's not my preference. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 29 August 2001 00:07:18 UTC