Re: [RIF] [UCR]: What is the RIF (revisited) --> disjunctive conclusions from Francois Bry on 2006-02-09 (public-rif-wg@w3.org from February 2006)

From: Francois Bry <bry@ifi.lmu.de>
Date: Thu, 09 Feb 2006 09:04:24 +0100
Cc: public-rif-wg@w3.org
Message-ID: <43EAF788.3090400@ifi.lmu.de>

Vincent, Paul D wrote:

>Another way of looking at this / let me infer: the commercial inference
>engines that do not support "disjunctive conclusions" prove, by the fact
>of their use in commerce, that this feature is not a requirement for
>rule use, and is therefore not a requirement for rule interchange. 
>  
>
It is a requirement for integrity constraints and integrity constraints 
are used in commercial systems. Therefore, I see "disjunctive 
consequents" as a requirement for RIF.
-- 

Francois

Received on Thursday, 9 February 2006 08:04:31 UTC