W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2004

Re: RDF Semantics: corrections

From: Graham Klyne <GK@ninebynine.org>
Date: Wed, 14 Jan 2004 09:49:25 +0000
Message-Id: <5.1.0.14.2.20040114094725.00bc2688@127.0.0.1>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 18 February 2014 13:20:08 UTC