W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2002

Re: Datatyping

From: Seth Russell <seth@robustai.net>
Date: Thu, 26 Sep 2002 09:10:42 -0700
Message-ID: <3D933182.5070701@robustai.net>
To: Patrick Stickler <patrick.stickler@nokia.com>
CC: www-rdf-comments@w3.org
Patrick Stickler wrote:

>>Why does the MT *need* to make the triple drawn to the LexicalNode 
>>invalid in prescence of a range constraint ?   
>Because the range assertion says that the object of the property
>is a member of the particular class, and in the case of a datatype
>class, its RDF Class extension is the value space. And a lexical
>node is not a datatype value, but a string.
It seems to me that the MT's range entailments cannot be applied to 
LexicalNodes at all.   This is because however hard we try we simply 
could not draw  the arrow {uuu [rdfs:type]  zzz }  as prescribed by the 
entailment rule [rdfs3] in the case where uuu is a LexicalNode.    Since 
we cannot draw an arrow from a LexicalNode, I propose to change [rdfs3] 
to exclude such an erronous entailment .... something like I have 
depicted in my new diagram [3].

[3] http://robustai.net/mentography/jenny_mt_rdfs3.jpg

I think this works if  you'all consider a LexicalNode not to be or 
rdf:type rdfs:Resource.   Do you?   ... and could the MT be changed as I 
propose?  ... and would that solve your concern above?

.... and thanks for your comments in my blog :-) .

Seth Russell
Received on Thursday, 26 September 2002 12:11:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:00 UTC