I'm until looking for OWL-S to JSHOP translator. I've a doubt about translate IOPE (Input, Output, Preconditions and effects).I´m trying use a experimental version of OWL-S to JSHOP translator (JSHOPTranslator) developed by Evren Sirin. Although the translate not sucessfull. I think that i've to mapping Input and Preconditions at OWL-S to Preconditions at JSHOP2, and Output and effect just like effect at JSHOP2.
For example: The code generated automatically by JSHOPTranlator: (:operator (!bookFinder:BookFinderProcess ?BookName ?BookInfo ) () () ((bookFinder:BookInfo rdf:type bibtex:Book)) )
To run sucess i've to edit the code, like this:
(:operator (!BookFinderProcess) ((BookName ?x1) ) () ((BookInfo)) )