Re: trying to install euler

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 C29E

Received on Saturday, 29 October 2005 09:48:03 UTC