RE: [Core] updated safeness condition from Changhai Ke on 2009-02-04 (public-rif-wg@w3.org from February 2009)

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

> how about:
> "Intuitively, safeness of rules guarantees that when performing
> reasoning in a forward-chaining manner, it is possible to find
bindings
> 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
bound."

Changhai

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