Currenlty we offer two Web services, catering to both Description Logic and Logic Programming reasoning.
- The WSML DL Reasoner Web service utilizes the PELLET reasoning engine in order to support reasoning over WSML-DL ontologies.
- The WSML Rule Reasoner Web service utilizes either the IRIS or MINS reasoning engine (user discretion) in order to support reasoning over WSML-Flight and WSML-Rule ontologies.
In order to test these Web services online we recommend seekda
, a free global Web Service Search Engine, whereby after finding the Web service, the user is able to invoke via the provided Web interface (simply click on the "Use Now" tab). Direct seekda links: WSML DL Reasoner
& WSML Rule Reasoner
We also provide online demos
for these services.