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

RDFS interpretation of typed literals

From: Graham Klyne <gk@ninebynine.org>
Date: Mon, 15 Dec 2003 17:23:56 +0000
Message-Id: <5.1.0.14.2.20031215165540.00b97ea8@127.0.0.1>
To: w3c-rdfcore-wg@w3.org

Considering the RDF statement:

   ex:s ex:p "foo"^^ddd .

where ddd is any URI other than rdf:XMLLiteral.

Is this statement true, false or undefined in an RDF[S] interpretation?

As far as I can tell, the denotation of "foo"^^ddd is defined by 
interpretation function IL, for which there are no semantic constraints in 
RDF and RDFS interpretations except for the datatype rdf:XMLLiteral.

So I think the above statement is either True or False, depending on the 
interpretation used.  So far, so good.  But is this an RDFS-entailment:

   ex:s ex:p "foo"^^ddd .
|=
   ex:s ex:p _:b .
   _:b rdf:type rdfs:Literal .

Intuitively, I would have said "yes", but as far as I can tell from the 
semantics spec, the answer is "no".  This is an entailment only in a 
{RDFS,ddd}-interpretation, because it is only a D-interpretation that 
places the required constraints on the relationships between 
I(rdfs:Literal), LV and IL.

Am I correct?  Is this what we expected?

#g
--

PS:  this would be consistent with the entailment rules, for which I was 
working through my implementation when I noticed this.


------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact
Received on Monday, 15 December 2003 13:59:51 EST

This archive was generated by hypermail pre-2.1.9 : Monday, 15 December 2003 13:59:53 EST