W3C home > Mailing lists > Public > www-archive@w3.org > October 2005

Re: trying to install euler

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>

Thanks Dan
I've slightly updated
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 
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 

For that example it should be no problem to find some evidence for the 
mapped service
or for the straight webized command line

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...

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:42:54 UTC