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

RE: [Core] updated safeness condition

From: Changhai Ke <cke@ilog.fr>
Date: Wed, 4 Feb 2009 18:07:54 +0100
Message-ID: <3E5E1A634BBD5C4A94C4D4A6DE0852E7021A1ECF@parmbx02.ilog.biz>
To: "Jos de Bruijn" <debruijn@inf.unibz.it>
Cc: "RIF WG" <public-rif-wg@w3.org>

> how about:
> "Intuitively, safeness of rules guarantees that when performing
> reasoning in a forward-chaining manner, it is possible to find
> for all the variables in the rule before it is "fired"."

I would replace the last sentence by this:

"it is required that all the variables in the rule condition part be

Received on Wednesday, 4 February 2009 17:08:46 UTC

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