RDF and RDFS entailment - error in RDF Semantics document?

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