- From: Hall, Alex A. <alex.hall@ngc.com>
- Date: Tue, 24 Jan 2006 11:05:46 -0500
- To: <www-rdf-comments@w3.org>
Received on Wednesday, 25 January 2006 07:27:00 UTC
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.com
Received on Wednesday, 25 January 2006 07:27:00 UTC