[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