About a small problem in the RDF Semantics document

[Robert Lu-2]

Some parts of this message have been removed. Learn more about Nabble's security policy.

Inside the latest version of RDF Semantics document, in Sec.4.4 RDFS Entailment, there is a line says:
 
Since every rdfs-interpretation is an rdf-interpretation, if S rdfs-entails E then it rdf-entails E;
 
I think this line should be:
 
Since every rdfs-interpretation is an rdf-interpretation, if S rdf-entails E then it rdfs-entails E;
 
I don't know if this is a known problem or not.  Thanks.
 
 
Robert Lu