From: <jos.deroo@agfa.com>

Date: Sat, 29 Oct 2005 11:47:47 +0200

To: connolly@w3.org

Cc: www-archive@w3.org

Message-ID: <OF7BD300BD.D1FFDA7E-ONC12570A9.00358386-C12570A9.0035CCAA@agfa.com>

Date: Sat, 29 Oct 2005 11:47:47 +0200

To: connolly@w3.org

Cc: www-archive@w3.org

Message-ID: <OF7BD300BD.D1FFDA7E-ONC12570A9.00358386-C12570A9.0035CCAA@agfa.com>

Thanks Dan I've slightly updated http://eulersharp.sourceforge.net/2004/01swap/Euler.txt and just run Euler should indeed be simpler :) [[ Installation of Euler --------------------- When you use CVS see http://sourceforge.net/cvs/?group_id=77046 and checkout module 2004/01swap in EULER_CVSDIR Otherwise download the Euler inference engine from http://eulersharp.sourceforge.net/2004/01swap/deployment/Euler.zip and extract this file to EULER_INSTALLDIR. Just running Euler via command line ----------------------------------- For the java version either add EULER_CVSDIR/2004/01swap/bin/Euler.jar or EULER_INSTALLDIR/bin/Euler.jar to your java CLASSPATH and run java euler.EulerRunner [--think] [--nope] [--step count] [--debug] [--trace] axiom ... [--filter|--query] lemma For the C# version either add EULER_CVSDIR/2004/01swap/bin/Release/Euler.exe or EULER_INSTALLDIR/bin/Release/Euler.exe to your PATH and run Euler [--think] [--nope] [--step count] [--debug] [--trace] axiom ... [--filter|--query] lemma What also works for the C# version is for instance mono EULER_INSTALLDIR/bin/Release/Euler.exe [--think] [--nope] [--step count] [--debug] [--trace] axiom ... [--filter|--query] lemma Just running Euler via RESTfull webservice ------------------------------------------ This is done as "webized command line" so same steps as above and start the Codd webizer in EULER_DATADIR as java euler.Codd [--port nr] The configuration is done in EULER_DATADIR/codd.properties like for instance http://eulersharp.sourceforge.net/2004/01swap/codd.properties For that example it should be no problem to find some evidence for the mapped service http://localhost/medService?WHO=Ann or for the straight webized command line http://localhost/.cwm+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2FmedP.n3+-think+-filter%3Dhttp%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2FmedF.n3+-why ]] -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ Dan Connolly <connolly@w3.org> 29/10/2005 03:19 To: Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA cc: www-archive@w3.org Subject: trying to install euler I'm reading the Usage doc... http://eulersharp.sourceforge.net/2004/01swap/Euler.txt I downloaded Euler.zip. Do I really need ant and nant and nunit and Jena just to run Eulersharp? -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29EReceived on Saturday, 29 October 2005 09:48:03 GMT

*
This archive was generated by hypermail 2.2.0+W3C-0.50
: Wednesday, 7 November 2012 14:17:53 GMT
*