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

CWM unsoundness

From: Yarden Katz <yarden@umd.edu>
Date: Wed, 11 Aug 2004 15:05:50 -0400
To: public-cwm-bugs@w3.org
Message-ID: <1092251150.920ded00yarden@umd.edu>

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:52:00 UTC