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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT