Re: RIF and QL

• From: Enrico Franconi <franconi@inf.unibz.it>
• Date: Fri, 27 Jan 2006 13:10:30 +0100
• To: Francois Bry <bry@ifi.lmu.de>
• Cc: W3C RIF WG <public-rif-wg@w3.org>
• Message-Id: <69938EBE-054A-4E05-9B96-08EDA02EE884@inf.unibz.it>

On 27 Jan 2006, at 13:03, Francois Bry wrote:

> Enrico Franconi wrote:
>
>> But with the local evaluation of each body I don't get it.
>
> The point is clear now, and rather obvious. If you apply rules in a  
> distributede environement, you cannot just answer subqueries  
> locally without losing answer completeness in some cases.

Uh? What's a "distributed" environment?

As I was saying the problem arises due to the incompleteness of  
information *introduced by the KB axiom*, not by any distributed  
environment.

> As a consequence, RIF should make it possible to exppress where  
> data come from and make it possible for designer of rule engines to  
> ensure answer completeness.

The data is all local in my example. The problem is due to the  
disjunction in the KB.

--e.

Received on Friday, 27 January 2006 12:10:41 UTC