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