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: Francois Bry <bry@ifi.lmu.de>
Date: Tue, 31 Jan 2006 13:34:15 +0100
Message-ID: <43DF5947.30406@ifi.lmu.de>
To: "Ginsberg, Allen" <AGINSBERG@imc.mitre.org>
Cc: Michael Kifer <kifer@cs.sunysb.edu>, public-rif-wg@w3.org

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 good
>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 12:34:18 UTC

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