- From: Bijan Parsia <bparsia@isr.umd.edu>
- Date: Thu, 8 Dec 2005 15:38:13 -0800
- To: Uli Sattler <Ulrike.Sattler@manchester.ac.uk>
- Cc: Enrico Franconi <franconi@inf.unibz.it>, public-rif-wg@w3.org
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.
Received on Thursday, 8 December 2005 23:38:24 UTC