another typo in "RDF Semantics"

(perhaps the wrong list to send this to - let me know where would be better)

In the RDF entailment lemma of http://www.w3.org/TR/rdf-mt/ it says

[[
It is easy to see that J satisfies the first two RDF semantic conditions, by construction; for the triples introduced by rule rdf2 require that IEXTRH(rdf:type) contains <xml(lll),rdf:XMLLiteral> for every well-typed XML literal lll.
]]

The variable/name 'J' is not referred to anywhere else in the document. I suppose we are still speaking about RH here, as it is interpretations that satisfy graphs.

Earlier on it says

[[
add to S all the RDF axiomatic triples;
apply rule lg to any triple containing a well-typed XML literal until the graph is unchanged by the rule;
apply rule rdf2 until the graph is unchanged;
apply rule rdf1 until the graph is unchanged. 
]]

I think that should be "add to C", because we don't want to be changing S in the proof.

It's easier to find typos than flaws in the reasoning. The last requires more thinking.
:-) 

Henry

Social Web Architect
http://bblfish.net/

Received on Friday, 5 March 2010 11:10:33 UTC