W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > August 2005

[closed] Re: can't do rules about rules?

From: Yosi Scharf <syosi@MIT.EDU>
Date: Mon, 22 Aug 2005 18:58:12 -0400
Message-ID: <430A5884.7000001@mit.edu>
To: Dan Connolly <connolly@w3.org>
CC: public-cwm-bugs@w3.org, Lalana Kagal <lkagal@csail.mit.edu>

Dan Connolly wrote:

>
> Consider rulerule.n3:
>
> ---
> @keywords is, of, a.
>
> @forAll IF, THEN.
>
> { sky color blue } => { weather state good }.
>
> { { IF => THEN } } => { THEN a Consequent }.
> ---

try to remove some spurious nesting. Try:
{ IF => THEN } => { THEN a Consequent }.


Yosi

>
>     {
>
>         }     log:implies {:THEN     a :Consequent .
>         } .


Look carefully. There is nothing in the antecentent.

Yosi
Received on Monday, 22 August 2005 22:58:25 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:10:59 GMT