W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2006

RDF and RDFS entailment - error in RDF Semantics document?

From: Hall, Alex A. <alex.hall@ngc.com>
Date: Tue, 24 Jan 2006 11:05:46 -0500
Message-ID: <E8EFDC4A24ABD046894DCB32DED34D21017F45A3@xcgmd064.md.essd.northgrum.com>
To: <www-rdf-comments@w3.org>
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

Alex Hall
Software Engineer, Tucana Program
Northrop Grumman Electronic Systems
Received on Wednesday, 25 January 2006 07:27:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:23 UTC