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

Re: substantive semantics change?

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 12 Nov 2003 14:50:34 +0100
To: w3c-rdfcore-wg@w3.org
Message-Id: <200311121450.34608.jjc@hpl.hp.com>

I am still trying to understand this properly, and I am still not sure whether 
or not the change is substantive.

I am hoping Pat can clarify why the ground entailments of the empty graph 
became infinite. It seems that in July we had only finite ground entailments 

which quotes 


in particular

The subset of rdfV consisting of the first 3 items in the above list,
{rdf:type   rdf:Property rdf:XMLLiteral} is called the core RDF
vocabulary, crdfV.

An rdfs-interpretation of V is an rdf-interpretation I of V union crdfV
union rdfsV which satisfies the following semantic conditions and all
the triples in the subsequent table, called the RDFS axiomatic triples,
which contain only names from V union crdfV union rdfsV.

If the comment from ter Horst concerning transitivity calls for substantive 
change, or in response to Reynold's comment concerning the two relevant 
tests, how difficult would it be to revert to wording more like this?

Received on Wednesday, 12 November 2003 08:51:02 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:08 UTC