- From: Francis McCabe <frankmccabe@mac.com>
- Date: Tue, 17 Oct 2006 07:06:02 -0700
- To: Gerd Wagner <wagnerg@tu-cottbus.de>
- Cc: "'Chris Welty'" <cawelty@frontiernet.net>, "'Public-Rif-Wg (E-mail)'" <public-rif-wg@w3.org>
Gerd: Looking at the example XML encoding, I would predict that you would have some trouble representing generic or polymorphically typed entities. Can you show how you would encode: concat:[list[t],list[t]]=>list[t]. concat([],L)=>L. concat([E,..L],M)=>[E,..concat(L,M)]. (This is a function, but cold easily be expressed using predications.) Frank On Oct 17, 2006, at 6:20 AM, Gerd Wagner wrote: >> We expect to plan the bulk of the next telecon discussing the >> technical >> proposal [http://www.w3.org/2005/rules/wg/wiki/CORE], especially the >> syntax. > > Here is a proposal how to extend it in order to accommodate typing. > > -Gerd > <REWERSE RIF Condition Language Extension Proposal.html>
Received on Tuesday, 17 October 2006 14:06:46 UTC