AW: (PRD) Safeness and the semantics of conditions from Adrian Paschke on 2009-05-28 (public-rif-wg@w3.org from May 2009)

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.

 

-Adrian

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