W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2008

Re: [BLD] Frame without slot/value pair?

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Thu, 10 Jan 2008 17:54:43 +0100
Message-ID: <47864DD3.5060805@ilog.fr>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:44 GMT