W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: effects of changes to RDF datatyping

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 19 May 2003 10:58:21 -0500
Message-Id: <p05210603baed6538082e@[10.0.100.24]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org

Thanks for noticing this.  I was trying to be too damn clever by treating
'datatyped with respect to' as including a syntactic condition as 
well as a semantic one.

I have fixed the problem (and simplified the datatyping semantics) by
(1) removing the 'sufficient' condition on rdfs:Datatype and 
replacing it with a 'necessary' condition incorporated into the 
definition of D-interpretation
(2) abandoning the notion of 'datatyped with respect to' (in favor of 
the older 'D-interpretation', 'D-validity', etc, corresponding to the 
Webont useage of 'a datatype theory D')
(3) rewriting the text which discusses the sense in which a 'rdf:type 
rdfs:Datatype' triple can be thought of intuitively as a weak form of 
datatype declaration. This is now expressed differently and uses MAY.

This deals with the formal 'nonmonotonicity' issue.

I would welcome any comments on the text mentioned in (3) above, see
http://www.coginst.uwf.edu/~phayes/RDF_Semantics_Editors.html#lcc22l1

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 Monday, 19 May 2003 11:58:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT