- From: Yosi Scharf <syosi@MIT.EDU>
- Date: Fri, 26 Aug 2005 16:25:52 -0400
- 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 UTC