Re: semantics proof appendix fixed

> There is a version of the LC2 Semantics document with @@ in its date line
at
>
> http://www.ihmc.us/users/phayes/RDF_Semantics_LC2.4.html
>
> which finally has a readable proof appendix.
>
> It also has an improved version of the entailment rules. The
> 'closures' for RDF and RDFS now use only a very restricted form of
> the simple entailment rules which apply only to literal objects (as
> you will see in the proof, for RDF one only needs to use this on
> well-formed XML literals, in fact) and all the subsequent similar
> rules (rdf2, rdfs1, rdfD1) are linked to this rule, so that the
> closures only generalize in a very restricted way so as to, in
> effect, provide unique blank-node surrogates for literals, which is
> sufficient for completeness. The results given here still apply to
> the older rules, since those generate all these conclusions and more,
> but the rules given here are leaner and meaner.  Jos and Graham, if
> you check out the definition of rdf-closure in the proofs, you will
> get an even leaner and meaner RDF version.

That is great news Pat - will do (but have to first travel, 3 days
Munich, leaving in 4 hours, oops... again not a lot of sleep and
I'm just back from a week Canada, have a big cold, fever, ...)
Anyhow, I'm looking forward to "an even leaner and meaner RDF version"
;-)

thanks Pat

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/