[Pellet-users] PRONTO: can't run examples

[Pavel Klinov]

You're missing OR-Objects library in your classpath. This library can't 
be included in the distribution due to the license restrictions.

 From the download page:

Pronto depends on Pellet 1.5.1, which is included in the Pronto release 
package. It also relies on Ops Research’s OR-Objects package. The 
license terms of OR-Objects do not permit us to distribute it with 
Pronto. You need to download OR-Objects v1.2.4 separately and save it in 
the lib directory of Pronto. See README file in the Pronto distribution 
for further instructions.

You can get the jar from: 
http://opsresearch.com/OR-Objects/download/free.html

cheers,
pavel

robocop wrote:
> 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...
>
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>
>