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
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

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:17:04 UTC