W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

AW: (PRD) Safeness and the semantics of conditions

From: Adrian Paschke <adrian.paschke@gmx.de>
Date: Thu, 28 May 2009 16:26:56 +0200
To: "'Christian De Sainte Marie'" <csma@fr.ibm.com>, "'Gary Hallmark'" <gary.hallmark@gmail.com>
Cc: "'RIF WG'" <public-rif-wg@w3.org>
Message-ID: <025b01c9dfa0$5affba40$10ff2ec0$@paschke@gmx.de>

We don't have any recursion in forward-chaining PRD and define condition
satisfaction on the basis of a state of the fact base (a Herbrand
interpretation) which is a set of ground atomic formulas, i.e. negated
formulas are also ground as well as list formulas.


Received on Thursday, 28 May 2009 14:27:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:56 UTC