W3C home > Mailing lists > Public > www-rdf-logic@w3.org > July 2002

Re: Strange behaviour of datatypes test A1 with answer yes and literals untidy

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Wed, 17 Jul 2002 20:02:35 -0400 (EDT)
Message-Id: <200207180002.g6I02ZG15900@pantheon-po04.its.yale.edu>
To: www-rdf-logic@w3.org

   [Jonathan Borden]
   Suppose we define the infinite set of things denotes by "10" as "_:1"

   then (3)+(4) follow from (1)+(2)

This is not the first time I've seen the idea that a literal might
denote more than one thing (or a set of things, or even an infinite
set of things).

Where did this idea come from?  It seems quite counterintuitive to me.
I can't find it in the RDF(S) model theory either.

                                             -- Drew McDermott
Received on Wednesday, 17 July 2002 20:02:41 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:38 UTC