forAll with ncnames

• From: <jos.deroo@agfa.com>
• Date: Sat, 29 Oct 2005 01:51:41 +0200
• To: public-cwm-talk@w3.org
• Message-ID: <OF37F85618.128D55B5-ONC12570A8.00818F7D-C12570A8.00830F84@agfa.com>

While trying to use @forAll with ncnames
following test case worked out well after adding
@keywords is, of, a.
 
cwm http://www.agfa.com/w3c/euler/medP.n3 -think 
-filter=http://www.agfa.com/w3c/euler/medF.n3 -why > 
http://www.agfa.com/w3c/euler/medT.n3

Is very nifty proof!
.. will try to test relationship with 
http://www.agfa.com/w3c/euler/medE.n3


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Friday, 28 October 2005 23:51:52 UTC