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".

-- 
Francois
Received on Friday, 27 January 2006 11:48:16 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:26 GMT