Re: RIF vs Rule Language

On 9 Dec 2005, at 00:27, Uli Sattler wrote:
> On 8 Dec 2005, at 14:49, Enrico Franconi wrote:
>> While I believe, like you, that tehre may be the necessity of  
>> different behaviours of reasoners, this can only be justified by  
>> the existence of different semantics for the same rule constructs.
>
> Do you mean that, for such a case, we should provide 2 different  
> syntactic constructs to make this difference explicit? For example  
> "implies1" for horn rules without contraposition and "implies2" for  
> horn rules with contraposition?

yeah, this could be a viable option.
--e.