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

Re: Problems with dark triples approach

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 18 Apr 2002 13:22:55 +0100
To: <www-webont-wg@w3.org>
Message-ID: <CEECKEAMDAJDDEDGJNBEGECFCAAA.jjc@hpl.hp.com>

Pat:
>  dark triples [...] does at least
> open the possibility of constructing a solution: it removes what is
> otherwise a rigid and impassable barrier to any possible solution.

Bluff.

Pat:
> No, wait. There are 2 separate issues here: the need for a clean
> account of layering, and the idea of basing the semantics on FOL
> rather than set theory. The dark triples are needed for the former,
> not the latter.

Pat, you're still saying less than you're not saying.
What is the content of the "clean account of layering" (just an example).
All the examples that have been raised have been to do with classes or
daml:collection in some way or other. So if the right examples are not
really about daml:collection and not about set theory then what are they
about?


Jeremy
Received on Thursday, 18 April 2002 08:23:18 GMT

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