- From: Adrian Giurca <giurca@tu-cottbus.de>
- Date: Tue, 12 Feb 2008 17:23:32 +0100
- 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. -Adrian 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