- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 22 Aug 2005 17:34:12 -0500
- To: public-cwm-bugs@w3.org
- Cc: Lalana Kagal <lkagal@csail.mit.edu>
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 UTC