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

Semantics Spanner

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Fri, 16 May 2003 11:19:50 +0300
To: w3c-rdfcore-wg@w3.org
Message-Id: <200305161119.50754.jjc@hpl.hp.com>

On another list, it has been claimed that the current RDF MT editors draft has 
non-monotonic datatyping.
If this is the case then it should be fixed.

I will try and review this claim before the telecon today, I suggest others 
might like to as well.

The claim is that when foo is not a supported datatype then

foo rdf:type rdfs:Datatype .

is inconsistent, and hence entails everything.

Thus, supporting an additional datatype foo, negates previously valid 
entailments, and hence causes a datatyped system to layer non-monotonically 
on top of a datatyped system.

I personally find this a credible critique that should be taken seriously.
We may need to leave open any semantics issues affected :( 

The (cryptic) examples given in

concern the minimal datatype system consisting of only rdf:XMLLiteral, and so 
xsd:int plays the role of foo above.

I note that this comment is based on the shadow space draft rather than Pat's 
master copy - we may hope that magic has happened.

Received on Friday, 16 May 2003 05:19:44 UTC

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