- From: Alex Kozlenkov <alex.kozlenkov@betfair.com>
- Date: Wed, 3 May 2006 09:42:00 +0100
- To: "Michael Kifer" <kifer@cs.sunysb.edu>, "Peter F. Patel-Schneider" <pfps@inf.unibz.it>
- Cc: <paula.patranjan@ifi.lmu.de>, <public-rif-wg@w3.org>, <francois.bry@pms.ifi.lmu.de>
> A query interface is a very general thing. It can range from seamless > integration (e.g., in FOL-based dialects) to Rosati and Eiter et al. style > integration, to external calls to ontologies. Different degrees of > integration will be appropriate for different dialects. (For instance, > what would be the appropriate integration for PR rules?) Consider the case of Reaction Rules. Querying OWL ontologies may be useful in the Condition part of such rules while the overall semantics do not have much to do with, for example, RDF deduction. Coming from the use cases perspective, we would consider it a high priority for the rules to be able to specify actions to be taken in the presence of particular "situations". Integrating OWL/RDF queries in the situation detection part of RR seems like a natural use of the existing Semantic Web technologies. Alex Kozlenkov Advanced Technologies Group Betfair Ltd. +44 (0)20 88347663 London, UK -----Original Message----- From: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] On Behalf Of Michael Kifer Sent: 03 May 2006 06:35 To: Peter F. Patel-Schneider Cc: paula.patranjan@ifi.lmu.de; public-rif-wg@w3.org; francois.bry@pms.ifi.lmu.de Subject: Re: [RIF] Reaction to the proposal by Boley, Kifer et al "Peter F. Patel-Schneider" <pfps@inf.unibz.it> wrote: > > I, on the other hand, have some serious concerns with the proposal. > > I worry about using a substitution in the basis of the semantics of > conditions, in particular because the rest of the semantics of conditionals > (including the semantics of existentials) are unspecified in the proposal. > Will this actually end up close to a known logic? This is based on a known logic: infinite Herbrand interpretations. It is easy to extend this semantics for general, non-Herbrand domains. But this will be useful only for the FOL dialect. The others will have to fall back on Herbrand interpretations. > I also worry about the expressivity of conditions. They already have > functions and existentials, and two kinds of negation. These features would need to be associated with the nodes of the syntactic/semantic taxonomy (which we mentioned in the intro). There will be nodes in this taxonomy, which will not include function symbols. Also, FOL will obviously be located in the area that doesn't include default negation. > We have also just seen a proposal to add counted quantifiers. This was thrown in but to make it fly one would have to incorporate these quantifiers into the answer-set and well-founded semantics. (My understanding is that Francois main interest is in CWA-based dialects.) I think a better and a more natural way to express this kind of features is to use aggregate functions. (For CWA-based dialects.) > I worry about the connection between the proposal and RDF and OWL. I do > not view it as appropriate to relegate existing Semantic Web languages to > an add-on query interface. Why? A query interface is a very general thing. It can range from seamless integration (e.g., in FOL-based dialects) to Rosati and Eiter et al. style integration, to external calls to ontologies. Different degrees of integration will be appropriate for different dialects. (For instance, what would be the appropriate integration for PR rules?) --michael > Peter F. Patel-Schneider > > > ________________________________________________________________________ In order to protect our email recipients, Betfair use SkyScan from MessageLabs to scan all Incoming and Outgoing mail for viruses. ________________________________________________________________________
Received on Wednesday, 3 May 2006 08:42:27 UTC