RE: oneOfDistinct, a proposal for 5.18 from Peter Crowther on 2002-12-23 (www-webont-wg@w3.org from December 2002)

From: Peter Crowther <Peter.Crowther@networkinference.com>
Date: Mon, 23 Dec 2002 10:48:16 -0000
To: "Ian Horrocks" <horrocks@cs.man.ac.uk>
Cc: <www-webont-wg@w3.org>
Message-ID: <3BE4D3F0FB726240966DEF40418472B5076EBD@NI-LON-SERVER1.ad.networkinference.com>

> From: Ian Horrocks 
> And the same is true the other way around - it seems quite likely that
> a user would want to assert that a set of individuals are
> distinct/disjoint without there ever being an occasion to use the
> whole set in a description.

As usual, the point is well-made - and considerably more important than
my comments.

		- Peter

Received on Monday, 23 December 2002 05:48:47 UTC