Re: [UCR] RIF needs different reasoning methods

> > I think the key question is to what extent we want to support 
> > different
> > types of semantics for rules with the same syntax.  
> > Is that really a good thing? 
> 
> Are you asking if it's really a good thing to support
> both derivation rules and integrity rules/constraints?
> (These two types of rules are distinguished both in SQL
> and in OCL.) 

My understanding is that derivation rules and integrity constraints are
just a bifurcation of Horn rules (or sometimes the two halves of
something beyond Horn).  As such they fit easily into the same
semantics.

   - sandro