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

response to issue pfps-09

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 4 Feb 2003 17:49:00 -0600
Message-Id: <p05111b2dba64b68ef52f@[10.0.100.86]>
To: w3c-rdfcore-wg@w3.org
Cc: pfps@research.bell-labs.com

I believe that there is a missing part of datatypes in the RDF model
theory, and, moreover, that this missing part makes datatypes unusable
in RDF.  The missing part is a mechanism for tieing a URI reference to
a datatype.

----

The MT assumes that datatypes are defined externally to RDF, and that 
part of this defining process involves associating a uriref with each 
datatype which can be used as its 'name', ie the semantic assumption 
is that the denotation is defined externally. I feel that this is 
entirely appropriate for a semantic specification, and that the 
general issue of how meanings can be associated with urirefs is 
beyond the scope of this WG.

A more practical answer to this comment is that the inference rules 
for datatypes each specify a certain kind of information about the 
datatype, and clearly state that the rule can be applied only when 
that kind of information is somehow made available to an inference 
engine. Since the use of urirefs as URLs which provide access to APIs 
is well established on the Web, this seems to provide an clear guide 
to implementers as to how to proceed.

I therefore propose that the WG takes no action on the basis of this 
comment , except possibly to refer the issue to some other authority 
(eg the TAG group?)

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola               			(850)202 4440   fax
FL 32501            				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Tuesday, 4 February 2003 19:26:50 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:55:48 EDT