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

Re: new BLD and the framework (FLD)

From: Adrian Giurca <giurca@tu-cottbus.de>
Date: Tue, 12 Feb 2008 17:23:32 +0100
Message-ID: <47B1C804.70007@tu-cottbus.de>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: RIF WG <public-rif-wg@w3.org>

I read FLD and I did not find nothing unclear. Maybe some examples 
(together with a semantic structure) are useful but I believe they don't 
have to be  part of the document.
Anyway the document is hard to be read by potential simple users of the 
standard. I will try to build an example use case.

Also, seems that you cannot build a semantic structure without assuming 
the existence of signatures. Otherwise the I_F mapping cannot be 
finitely defined.Without signatures if I have a functional symbol p then 
I have to define I_F(p) for all finite length sequences of arguments 
i.e. I_F(p):D -> D, I_F(p):D^2 -> D, ...
In the presence of the signature, just the corresponding functions have 
to be part of the semantic structure.


Michael Kifer wrote:
> Both drafts are now finished (except for XML) and ready for review:
> Framework:
> http://www.w3.org/2005/rules/wg/wiki/FLD
> BLD:
> http://www.w3.org/2005/rules/wg/wiki/BLD/
> Shake it up!
> -m
Received on Tuesday, 12 February 2008 16:27:27 UTC

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