Re: [Arch] ACTION-253: Experiment with modularization of Condition library

Boley, Harold wrote:
> I worked on the modularization of RIF conditions and extension dialects:
> <http://www.w3.org/2005/rules/wg/wiki/Arch/RIF_Components/RIF_Dialect_St
> ructure>

By slotted conditions/datalog/horn you presumably mean including the 
Frame construct.

You show several bidirectional mappings between the slotted and 
non-slotted forms. Is there already such a mapping written down somewhere?

Dave
-- 
Hewlett-Packard Limited
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England

Received on Tuesday, 17 July 2007 10:25:05 UTC