- From: Uli Sattler <Ulrike.Sattler@manchester.ac.uk>
- Date: Thu, 8 Dec 2005 15:27:58 -0800
- To: Enrico Franconi <franconi@inf.unibz.it>
- Cc: public-rif-wg@w3.org
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.
Received on Thursday, 8 December 2005 23:28:15 UTC