- From: <herman.ter.horst@philips.com>
- Date: Fri, 12 Jul 2002 10:33:03 +0200
- To: welty@us.ibm.com, lynn.stein@olin.edu
- Cc: www-webont-wg@w3.org
- Message-ID: <OF556F892F.FD3304B9-ONC1256BF4.002EF900@diamond.philips.com>

In the mail of Chris of yesterday, the words domain and range are used for sets and elements: ... >An UnambiguousProp is a relation whose extension is restricted such that >no object may appear more than once in the range, i.e. the domain of the here the word range stands for a set and the word domain stands for an element >relation for any given range is unique. here the word range stands for an element. This is confusing. The basic practice in mathematics is to use the terms domain and range only for sets. This point is also linked to the choice of names: >Proposed Resolution > >These are suggested alternate names for these features. To resolve the >issue, we should vote on them. I will collect suggested alternate names >until, say, the next telecon. > >UniqueProp: Functional, UniqueRange >UnambiguousProp: InverseFunctional, UniqueDomain The suggestions UniqueRange and UniqueDomain do not seem to be consistent with the basic meaning given in mathematics to the words domain and range. In the standard definition, the domain and the range of a relation are sets: Given a relation, that is, a set of ordered pairs (x,y), the domain of the relation is defined to be the set of all elements x that appear as the first entry in at least one such ordered pair of the relation. The range of the relation is defined to be the set of all elements y that appear as second entry in at least one such ordered pair of the relation. This implies that for each relation, the domain is always uniquely defined, and also that the range is always uniquely defined: The domain and range of a relation are uniquely defined sets associated to the relation. From this point of view, the terms UniqueRange and UniqueDomain do not seem to add information. The terms UniqueRangeElement and UniqueDomainElement would be more consistent with basic mathematical usage. But these terms are longer, and, in my view, not the optimal choice: they may suggest that the range and domain consist of exactly one element. The terms SingletonRange and SingletonDomain, suggested yesterday by Lynn, also wrongly suggest that the domain and range of the relation consist of a singleton set, that is, of exactly one element I vote in favor of the terms Functional and InverseFunctional. Herman ter Horst

Received on Friday, 12 July 2002 04:36:15 UTC