[Pellet-users] PRONTO: can't run examples
robocop
r.coppi at gmail.com
Wed May 14 10:11:06 UTC 2008
Hi all,
I'm approaching to Pronto then, after having downloaded it (and
or124.jar in the lib directory also), I'm trying to run the example from
the batch file in the Pronto's directory but I get this exception on the
launch:
Exception in thread "main" java.lang.NoClassDefFoundError:
drasys/or/opt/lp/LPException
at com.clarkparsia.pronto.PSATSolverImpl.<init>(PSATSolverImpl.java:49)
at com.clarkparsia.pronto.PSATSolverImpl.<init>(PSATSolverImpl.java:53)
at
com.clarkparsia.pronto.ProntoLexicographicReasoner.<init>(ProntoLexicographicReasoner.java:55)
at com.clarkparsia.pronto.Pronto.run(Pronto.java:113)
at com.clarkparsia.pronto.Pronto.main(Pronto.java:57)
Can anyone help me?
I'm using JDK 1.6 on Windows if it can useful...
More information about the Pellet-users
mailing list