Re: RIF vs Rule Language

On Dec 8, 2005, at 3:27 PM, Uli Sattler wrote:

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

Or you could have a flag for the whole document which one could 
override at one's own risk.

Cheers,
Bijan.