Re: ACTION: task force unasserted triples

"Peter F. Patel-Schneider" wrote:
> There has already been quite a number of statements of the rationale for
> this request and quite a number of examples that motivate the request.
> Without a clearer statement from the CG, how can the task force determine
> what to do?
> 
> > 2. How do "unasserted triples" solve this problem?
> 
> Again, there have been quite a number of statments of how dark triples
> solve this problem.  In general, there is an argument as to how the problem
> comes about, and dark triples destroys one of the premises of this
> argument.
> 

Yes, sure, much of this has already been on the table, but it is
distributed over long threads and it is not always clear who agrees to
what. 

The key point of the request of the SWCG is to get precisely one
note/statement on the dark-triple requirement on which the people
involved all agree and which contains all the indicated elements
(motivation, example, etc.).

Guus

-- 
A. Th. Schreiber, SWI, University of Amsterdam, Roetersstraat 15
NL-1018 WB Amsterdam, The Netherlands, Tel: +31 20 525 6793 
Fax: +31 20 525 6896; E-mail: schreiber@swi.psy.uva.nl
WWW: http://www.swi.psy.uva.nl/usr/Schreiber/home.html

Received on Wednesday, 24 April 2002 04:11:13 UTC