About a small problem in the RDF Semantics document

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

About a small problem in the RDF Semantics document

Robert Lu-2
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