Re: [RIF] [UCR]: What is the RIF (revisited) --> disjunctive conclusions

• From: Francois Bry <bry@ifi.lmu.de>
• Date: Thu, 09 Feb 2006 12:48:26 +0100
• Cc: public-rif-wg@w3.org
• Message-ID: <43EB2C0A.2010209@ifi.lmu.de>

Dieter Fensel wrote:

>Lets re-phrase my question:
>
>         1. Disjunctive heads are out of the scope of phase 1. Do you agree 
>(have you read the charter)?
>
>         2. There does not exist any scalable and commercial implementation 
>of a rule engine for rules with disjunctive heads?
>         Existing inference engines that support such type of languages are 
>toys for academics, only?
>  
>
For both Integrity Constraint (IC) and Trust Negociation, one needs rules with 
disjunctive consequents. Commercial approaches supporting IC with disjunctive 
consequents are widesrpead. I think, both applications, IC and Trust 
Negociation, should be covered by RIF already in phase 1. 
-- 
Francois

Received on Thursday, 9 February 2006 11:48:33 UTC