Re: RIF vs Rule Language

On 8 Dec 2005, at 14:49, Enrico Franconi wrote:
>

[snipp]

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

Cheers, Uli

> cheers
> --e.