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

Re: new BLD and the framework (FLD)

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>
Message-ID: <20208.1202925696@cs.sunysb.edu>


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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:42 UTC