- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Fri, 9 Dec 2005 20:40:31 +0100
- To: Bijan Parsia <bparsia@isr.umd.edu>
- Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, Ulrike.Sattler@manchester.ac.uk, public-rif-wg@w3.org
On 9 Dec 2005, at 19:38, Bijan Parsia wrote: > 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). But even with f-f horn, *in presence of ontologies* the semantics choice matters. A lot. --e.
Received on Friday, 9 December 2005 19:40:47 UTC