forAll with ncnames

Previous Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

forAll with ncnames

jos.deroo

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/