- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Mon, 31 Jul 2006 22:51:31 -0400
- To: public-rif-wg@w3.org (RIF WG)
I have completed the action item http://www.w3.org/2005/rules/wg/track/actions/65 Please see http://www.w3.org/2005/rules/wg/wiki/Extensible_Design sections A.6 and A.7 The semantics is defined in a general and uniform way - not just for positive conditions and not just for conditions. There are several semantics, however. Everything is parametrized by dialects. So, this can be thought of as a framework for different semantics. When instantiated to a particular dialect, this gives a concrete semantics for the dialect. In case of regular Horn rules, the different semantics converge, but with negation, uncertainty, and inconsistency there can be many. The notion of a faithful mapping into the condition language has also been defined. --michael
Received on Tuesday, 1 August 2006 02:51:47 UTC