W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2002

Re: ISSUE:4.1 daml:uniqueProperty

From: <herman.ter.horst@philips.com>
Date: Fri, 12 Jul 2002 17:06:34 +0200
To: welty@us.ibm.com
Cc: www-webont-wg@w3.org
Message-ID: <OFA6C5F2D8.19B79156-ONC1256BF4.0052FFC2@diamond.philips.com>
Chris,

> The extension of a (binary) relation is a set of pairs.
> The "domain" of a (binary) relation is (always) the set of all the first 

> pair elements in the extension
> The "range" of a (binary) relation is the set of all the second pair 
> elements in the extension

Yes.

> But you are right, when I said  "the domain of the relation for any 
given range is unique"
> 
> I meant "the domain of the relation for any given element of the range 
is 
> unique"

When we use the word domain only for a set, in the way you describe above,
then this last sentence needs an extra use of the word element, for 
example
as follows:

the element in the domain of the relation for any given element of the 
range is 
unique

Herman ter Horst
Received on Friday, 12 July 2002 11:09:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT