W3C home > Mailing lists > Public > public-rif-wg@w3.org > April 2010

Re: [RIF] Proposed object-oriented extension of Core (and BLD and PRD)

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Mon, 19 Apr 2010 20:35:45 -0400
To: Christian De Sainte Marie <csma@fr.ibm.com>
Cc: public-rif-wg@w3.org
Message-ID: <20100419203545.0c3366b1@kiferserv>
Christian,

Your proposal [2]'s motivation/intro is completely disconnected from your
proposed semantics.
Worse, I had really hard time parsing your introduction and the desiderata, and
some aspects of your desiderata indicate that what you are trying to do cannot
be given a model-theoretic semantics the way you have attempted.

Given such an ill-defined language and desiderata, I object that it will have
the term "Core" anywhere in it or implied by it.

I was trying to come up with a list of questions to you, but then I discovered
that I have a question about almost every sentence in you introduction because
most are extremely vague.

From the general spirit of your introduction (from what I think the spirit is,
anyway), it seems that you are talking about the simple mechanism of
cardinality constraints, which I proposed to add to BLD quite a while ago, but
nobody was interested. Or maybe you are talking about types (which I also
offered to add long ago). Or maybe both types and cardinality. I really won't
know until I understand what you are trying to do.

I also have a procedural question here. I thought that we are in the
maintenance mode where we are trying to shepherd the existing documents to
the recommendation status. If we are going to introduce new documents and give
them our official blessing then there are much better worked out proposals,
which we could bless instead. These include logic programming dialects with the
stable and well-founded semantics.

michael


On Mon, 19 Apr 2010 18:53:58 +0200
Christian De Sainte Marie <csma@fr.ibm.com> wrote:

> All,
> 
> Based, and, hopefully, improving on a old email [1], I have drafted a spec 
> for a proposed object-oriented extension of RIF Core [2].
> 
> We can have an initial discussion during the telecon tomorrow.
> 
> Cheers,
> 
> Christian
> 
> [1] http://lists.w3.org/Archives/Public/public-rif-wg/2009Mar/0009.html
> [2] http://www.w3.org/2005/rules/wiki/RIF-OO
> 
> IBM
> 9 rue de Verdun
> 94253 - Gentilly cedex - FRANCE
> Tel. +33 1 49 08 35 00
> Fax +33 1 49 08 35 10
> 
> 
> Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
> Compagnie IBM France
> Siege Social : 17 avenue de l'Europe, 92275 Bois-Colombes Cedex
> RCS Nanterre 552 118 465
> Forme Sociale : S.A.S.
> Capital Social : 611.451.766,20 ?
> SIREN/SIRET : 552 118 465 03644
> 
Received on Tuesday, 20 April 2010 00:36:16 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 20 April 2010 00:36:18 GMT