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@[]>
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

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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC