- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Fri, 04 Jan 2008 20:46:49 +0100
- To: Michael Kifer <kifer@cs.sunysb.edu>
- CC: "Boley, Harold" <harold.boley@nrc-cnrc.gc.ca>, RIF WG <public-rif-wg@w3.org>
Michael Kifer wrote: > > [...] Formulas like t[] are also useful. If they are allowed, their > semantics is that the object t exists (without testing any of its > properties). Hmmm. I wonder how useful it is really. In order to check the existence of object t, you have to denote it in some way: How do you denote an object without either asserting or checking its existence already in the process (thus removing any need to check it further)? Actually, the only use I found for a formula like t[] is to allow the retraction of an individual without having to allow retracting TERMs as well as ATOMICs (in RIF-PRD). But that's a different can of worms... Christian
Received on Friday, 4 January 2008 19:47:11 UTC