W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2006

Re: RIF and QL

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:26 GMT