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

AW: [UCR] Review UCR (action-624)

From: Adrian Paschke <adrian.paschke@gmx.de>
Date: Mon, 17 Nov 2008 23:31:04 +0100
To: <kifer@cs.sunysb.edu>
Cc: <cleo@us.ibm.com>, <gary.hallmark@oracle.com>, <Harold.Boley@nrc-cnrc.gc.ca>, <kifer@cs.stonybrook.edu>, <public-rif-wg@w3.org>
Message-ID: <015b01c94904$2fb1ad40$8f1507c0$@paschke@gmx.de>

>Why don't you use function terms with named arguments?

Yes, it would then be a BLD example. PRD does not support functions (except
built-in functions).

Thanks, Adrian

-----Ursprüngliche Nachricht-----
Von: Michael Kifer [mailto:kifer@cs.sunysb.edu] 
Gesendet: Montag, 17. November 2008 22:47
An: Adrian Paschke
Cc: cleo@us.ibm.com; gary.hallmark@oracle.com; Harold.Boley@nrc-cnrc.gc.ca;
kifer@cs.stonybrook.edu; public-rif-wg@w3.org
Betreff: Re: [UCR] Review UCR (action-624)



On Mon, 17 Nov 2008 22:18:45 +0100
"Adrian Paschke" <adrian.paschke@gmx.de> wrote:

> >What is ?Date = ex:Date[...] and so on? Did you mean # instead of =?
> >Unfortunately even ?Date#ex:Date[...] is not allowed and must be written
> >as And(?Date#ex:Date ?Date[...]).  
> 
> 
> It means, that the frame object is bound to a variable which is then used
in
> the value position of a frame slot. It was intended to be a work-around
> solution to allow complex frames as values of frame slots. 

Adrian,
?Date = ex:Date[...] is still nesting, and isn't allowed.
But why would you do something like this in the first place?
Why don't you use function terms with named arguments?
This is all you need.

michael

 
> Do you see another solution to allow slot values which are complex?
Received on Monday, 17 November 2008 22:31:48 GMT

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