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
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:03 GMT