- 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>
>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 UTC