- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Fri, 9 Dec 2005 11:24:19 +0100
- To: Bijan Parsia <bparsia@isr.umd.edu>
- Cc: Uli Sattler <Ulrike.Sattler@manchester.ac.uk>, public-rif-wg@w3.org
>> 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? > > Or you could have a flag for the whole document which one could > override at one's own risk. Well, if it is "at one's own risk", then anything can be overridden :-) Anyway, the option to override assumes that we have the possibility of distinguishing the operators and their semantics upfront; we may then decide to ignore such distinction at our own risk. --e.
Received on Friday, 9 December 2005 10:25:56 UTC