- From: Bijan Parsia <bparsia@isr.umd.edu>
- Date: Fri, 9 Dec 2005 10:38:28 -0800
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: Ulrike.Sattler@manchester.ac.uk, franconi@inf.unibz.it, public-rif-wg@w3.org
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.
Received on Friday, 9 December 2005 18:38:53 UTC