- From: Graham Klyne <GK@ninebynine.org>
- Date: Wed, 14 Jan 2004 09:49:25 +0000
- To: pat hayes <phayes@ihmc.us>
- Cc: www-rdf-comments@w3.org
At 22:07 13/01/04 -0600, pat hayes wrote: >One way to extend this is to require that the class extension of x be a >*subset* of the value space of x. This seems to be the minimal extension >which would handle datatype clashes appropriately. But now, the >finite-value class examples give difficulties for completeness arguments, >since now the 'boolean' example is rejuvenated: > >a p "true"^^boolean >a p "false"^^boolean >c type boolean >|= >a p c > >In order to block this, we would need to allow ICEXT(I(boolean)) to be a >proper superset of the boolean value space. > >It can't be both a subset and a proper superset. My apologies for not following the debate closely enough, but I'm not sure what is the problem here. Why would one want to "block" this entailment? #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact
Received on Wednesday, 14 January 2004 05:12:05 UTC