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

wondering about nested pattern matching

From: Yosi Scharf <syosi@MIT.EDU>
Date: Fri, 26 Aug 2005 16:25:52 -0400
Message-ID: <430F7AD0.2040601@mit.edu>
To: public-cwm-bugs@w3.org

Given nested.n3
---------------------------------
@keywords forAll, forSome, a, of, is .

forAll X, Y .
{:a :p :c} a :Formula .

{ {X :p :c . :a :p Y} a :Formula } => {Y :ww X} .
---------------------------------

cwm nested.n3 --think
does not have the rule fire.

should it? (I am having a two triple pattern match a one triple 
formula). That one triple matches both triples in the pattern.


Yosi
Received on Friday, 26 August 2005 20:26:05 GMT

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