Web services

Currenlty we offer two Web services, catering to both Description Logic and Logic Programming reasoning.

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.