[wsmo-studio-discuss] Configuring MINS reasoner for use within WSMO Studio

[Mbuamuh, U. G. <Uni...@so...>]

Good afternoon,
    I encountered some problems using the MINS reasoner in WSMO Studio.
I followed the instructions in the tutorial which said to copy the
mins.jar file into the lib folder of of the plugin
org.wsmostudio.reasoner.wsml_flight_A.B.C of WSMO studio. I then choosed
MINS as my preference for WSML reasoner on WSMO studio, but upon doing
the satisfiable check on my ontology it gave me the error
message"Required runtime libraries for reasoner 'MINS' could not be
loaded". It seems as if it doesn't recognise or see the mins.jar file
atall. I would be very grateful if you can be of some help to me as to
how i can resolve this problem or where i might have probably went
wrong. I followed all the required steps as stated in the WSMO Users
Guide v. 1.15.
Thanks.
Best regards
Unice