- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Thu, 10 Jan 2008 17:54:43 +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: > > This is precisely what I explained: > > t[] == t[?S -> ?V] or ?O[t->?V] or ?O[?S->t]. > > It is a useful shortcut, which comes naturally syntactically and > semantically. Oh, ok! This is not how I understood what you said initially: > Formulas like t[] are also useful. If they are allowed, their > semantics is that the object t exists (without testing any of its > properties). So, you propose that we could have t[] as syntactic sugar to say that: - object t has some properties and values, - or there exists some object with some value for property t, - or there exists some object with value t for some property. Is that correct? If yes, then I would rather not allow that syntax: it seems a really counter-intuitive shortcut to me; and rather cumbersome to implement for target languages that do not have it, for a benefit that seems fairly limited. Christian
Received on Thursday, 10 January 2008 16:54:47 UTC