- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 19 May 2003 10:58:21 -0500
- 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 UTC