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

[robocop]

I solved: strangely, trying to download OR-Objects library with Firefox, 
I always got a jar of 859 bytes (It seemed to me too small), so I tried 
to download it with IE and got the right file (dimension is 433 KB). Now 
the examples work.
Pardon...
Cheers,

Rob

Pavel Klinov ha scritto:
> 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/
>>
>>   
>