- From: Adrian Giurca <giurca@tu-cottbus.de>
- Date: Wed, 13 Feb 2008 09:54:34 +0100
- To: Michael Kifer <kifer@cs.sunysb.edu>
- 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... > > --michael > > > -Adrian
Received on Wednesday, 13 February 2008 08:58:34 UTC