W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2006

RE: [RIF] A Modest Proposal: Work Out Some Concrete Examples; Example-1: CHANGE-BABY-IF-WET rule

From: Ginsberg, Allen <AGINSBERG@imc.mitre.org>
Date: Tue, 31 Jan 2006 10:22:38 -0500
Message-ID: <90A462F2D6E869478007CD2F65DE877C703029@IMCSRV5.MITRE.ORG>
To: "Francois Bry" <bry@ifi.lmu.de>
Cc: "Michael Kifer" <kifer@cs.sunysb.edu>, <public-rif-wg@w3.org>

Hi Francois, 

In my opinion the RIF should definitely allow for expressing whatever
is necessary to enable automatic translation of rules across
rule-systems.  By "translation" I mean an interchange that preserves at
least "operational equivalence" (which can be defined) if not logical
equivalence.  Perhaps such translations can be done without semantic
information in the case of rule-systems within the same family
(meta-model), but I think it is highly unlikely that they can be done
across rule-systems in different families.

At any rate, that was the point of the "Modest Proposal."  We should
work out some simple concrete examples to see what is involved in this
enterprise.  Then we will be better able to assess to what degree
expressing semantic information is required.


-----Original Message-----
From: Francois Bry [mailto:bry@ifi.lmu.de] 
Sent: Tuesday, January 31, 2006 7:34 AM
To: Ginsberg, Allen
Cc: Michael Kifer; public-rif-wg@w3.org
Subject: Re: [RIF] A Modest Proposal: Work Out Some Concrete Examples;
Example-1: CHANGE-BABY-IF-WET rule

Ginsberg, Allen wrote:

>My feeling is that if one wanted to express the semantics of
>modal-logic in a formal fashion, then using first-order logic is a
>way to do that.
Experience in Mathematics (and Computer Science) demonstrates that the 
above sentence has often been true if one replaces *modal-logic* by 
anything. :-)

However, I am not sure whether this kind of considerations are fully 
relevant to RIF. Should RIF be about expressing the formal semantics of

whatever, or merely an exchange format for formulas/rules?
Francois Bry
Received on Tuesday, 31 January 2006 15:23:08 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:36 UTC