W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2003

Re: substantive semantics change?

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 11 Nov 2003 14:05:33 +0100
To: w3c-rdfcore-wg@w3.org
Message-Id: <200311111405.33534.jjc@hpl.hp.com>

Even the empty graph has a large number of rdfs-entailments which
are not rdf-entailments, for example all triples of the form

xxx rdf:type rdfs:Resource .

are true in all rdfs-interpretations of any vocabulary containing xxx.

> *empty*
>   entails
> rdf:_1 rdf:type rdfs:Resource

For the entailment to hold, all interpretations of empty must make the 
consequences true.

There are (or at least were) interpretations of empty which do not include 
rdf:_1 in their vocabulary. For such interpretations the consequences are 
false and the entailment does not (or at least did not) hold.

Received on Tuesday, 11 November 2003 08:06:04 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:26 UTC