- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Wed, 13 Feb 2008 13:01:36 -0500
- To: Adrian Giurca <giurca@tu-cottbus.de>
- Cc: RIF WG <public-rif-wg@w3.org>
> > > If you have function symbols then semantic structures cannot be built > > whether you have signatures or not, because they are infinite. > > > If there is a set of signatures for a specific functional symbol p then > the arity of the symbol is implicitly defined. Then it might be the case > to require that I_F is to be defined just for these arities... Adrian, when all things were equal, I was trying to choose the simplest definition that I could think of. Restricting I_F to particular signatures seemed to me a significant complication. Your proposal gives the same semantics as far as I can see, and has no benefits -- only drawbacks (more complex description). --michael > > > > > --michael > > > > > > > -Adrian >
Received on Wednesday, 13 February 2008 18:01:48 UTC