Section 4.4 of the RDF Semantics document, concerning RDFS Entailment, contains the sentence, "Since every rdfs-interpretation is an rdf-interpretation, if S rdfs-entails E then it rdf-entails E..." I believe this sentence should instead read, "Since every rdfs-interpretation is an rdf-interpretation, if S rdf-entails E then it rdfs-entails E.." as suggested by the Monotonicity Lemma. In fact the very next sentence hints at rdfs-entailments of the empty graph (namely, graphs composed of RDFS axiomatic triples) which are not valid rdf-entailments. Alex Hall Software Engineer, Tucana Program Northrop Grumman Electronic Systems 410-993-8634 alex.hall@ngc.comReceived on Wednesday, 25 January 2006 07:27:00 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 24 April 2007 12:17:17 GMT