- From: Yarden Katz <yarden@umd.edu>
- Date: Wed, 11 Aug 2004 15:05:50 -0400
- To: public-cwm-bugs@w3.org
Hi,
Consider the following set of facts:
----
@prefix : <http://cwmTest/> .
@prefix s: <http://www.mindswap.org/>.
s:b :foo s:c.
s:a :foo s:c.
----
and the rule:
----
@prefix : <http://cwmTest/> .
{?c :foo ?d. ?d :foo ?d}
=>
{?c :bar ?d}.
----
CWM incorrectly fires this rule, yielding the following unsound results:
yarden% cwm.py http://www.mindswap.org/~katz/cwm/facts2.n3 --think=http://www.mindswap.org/~katz/cwm/rules2.n3
#Processed by Id: cwm.py,v 1.148 2004/03/21 04:24:32 timbl Exp
# using base http://www.mindswap.org/~katz/cwm/facts2.n3
# Notation3 generation by
# notation3.py,v 1.153 2004/03/21 04:24:35 timbl Exp
# Base was: http://www.mindswap.org/~katz/cwm/facts2.n3
</a> <http://cwmTest/bar> </c>;
<http://cwmTest/foo> </c> .
</b> <http://cwmTest/bar> </c>;
<http://cwmTest/foo> </c> .
#ENDS
I am using what version 1.148, which seems to be the latest cvs version of CWM.
Cheers,
--
Yarden Katz <yarden@umd.edu> | Mind the gap
Received on Wednesday, 11 August 2004 19:05:51 UTC