- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Fri, 9 Dec 2005 11:21:27 +0100
- To: Uli Sattler <Ulrike.Sattler@manchester.ac.uk>
- Cc: public-rif-wg@w3.org
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.
Received on Friday, 9 December 2005 10:23:58 UTC