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

Re: [RIF][UCR] Suggestion for new Abstract UC

From: Francois Bry <bry@ifi.lmu.de>
Date: Fri, 27 Jan 2006 12:48:12 +0100
Message-ID: <43DA087C.7020308@ifi.lmu.de>
To: edbark@nist.gov, W3C RIF WG <public-rif-wg@w3.org>

Ed Barkmeyer wrote:

>As I understand it, the issue that John Hall's use case addresses is the 
>exchange of rules
>  - between "Business Rule Management" systems,
>  - between Business Rules Management systems and "rules execution engines",
>  - between Business Rules Management systems and "rules rewriting systems".
>While many apparently believe that the representation used in those exchanges 
>would be some kind of "controlled natural language", I don't.  At most, such a representation may be of use in the first bullet, but surely not in the other two.  For the whole set of exchanges, the representation used must be formal logic!  
Some controlled English language, like eg Attempto, are "formal logic in 
English disguise", or "formal logic expressed using English words and a 
restricted English grammar".

Received on Friday, 27 January 2006 11:48:16 UTC

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