Re: RIF vs Rule Language

On Dec 9, 2005, at 10:19 AM, Peter F. Patel-Schneider wrote:
[snip]
> I think that even the simpler version of this needs to be considered 
> with
> care.  Lots of people will think that the diferent semantics never 
> matter, when
> they only don't matter when all there is is f-f Horn clauses.

You know this, but it can matter even when all there is f-f Horn 
clauses (e.g., depending on your query language). And you could have a 
mixed kb where some of the FFHCs are interpreted one way and others the 
other (e.g., using the K operator).

Cheers,
Bijan.