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

can't do rules about rules?

From: Dan Connolly <connolly@w3.org>
Date: Mon, 22 Aug 2005 17:34:12 -0500
Message-Id: <739ece0c651591a71a22708e93a73964@w3.org>
Cc: Lalana Kagal <lkagal@csail.mit.edu>
To: public-cwm-bugs@w3.org

Consider rulerule.n3:

---
@keywords is, of, a.

@forAll IF, THEN.

{ sky color blue } => { weather state good }.

{ { IF => THEN } } => { THEN a Consequent }.
---

If I run...

$ python cwm.py test/rulerule.n3  --think --data

I get...

#  Notation3 generation by
#       notation3.py,v 1.178 2005/01/27 20:06:43 syosi Exp

#   Base was: 
file:/Users/connolly/w3ccvs/WWW/2000/10/swap/test/rulerule.n3
      @prefix : <#> .
      @prefix log: <http://www.w3.org/2000/10/swap/log#> .

      @forAll :IF,
                 :THEN .

     :THEN     a :Consequent .
     {

         }     log:implies {:THEN     a :Consequent .
         } .
     {
         :sky     :color :blue .

         }     log:implies {:weather     :state :good .
         } .

#ENDS

Surely that's not by design, right?!?!


-- 
Dan Connolly, research scientist, MIT CSAIL
Decentralized Information Group http://groups.csail.mit.edu/dig/
office: tel:+1-617-395-0241
Received on Monday, 22 August 2005 22:34:23 GMT

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