Re: [RIF] Reaction to the proposal by Boley, Kifer et al from Peter F. Patel-Schneider on 2006-05-02 (public-rif-wg@w3.org from May 2006)

From: Peter F. Patel-Schneider <pfps@inf.unibz.it>
Date: Tue, 02 May 2006 10:43:32 -0400 (EDT)
To: paula.patranjan@ifi.lmu.de
Cc: public-rif-wg@w3.org, francois.bry@pms.ifi.lmu.de
Message-Id: <20060502.104332.23735381.pfps@research.bell-labs.com>

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?

I also worry about the expressivity of conditions.  They already have
functions and existentials, and two kinds of negation.  We have also just
seen a proposal to add counted quantifiers.

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.

Peter F. Patel-Schneider

Received on Tuesday, 2 May 2006 14:43:59 UTC