RE: A vision for the RIF

> but I don't see any way to have RIF Core be anything but 
> the semantic intersection of deductive, normative, and 
> reactive rules.  

This intersection will not be any core rule format,
but will be just empty, since normative/integrity rules
are arbitrary logical statements (quantifier-free
sentences), while the other types of rules share
at least the concept of a rule condition, which is 
a (typically quantifier-free) logical formula with
free variables.

The RIF must define a family, not an intersection, 
of languages in order to be general.

-Gerd