Enter a WSML v2.0 ontology either by pasting it into the text area below or enter its URL. Pressing the <Submit Query> button will then display the variable bindings for the query you entered.
The reasoner is based on the following components:
This Service is also accessible as Web Service at http://iris.sti-innsbruck.at/reasoners/webapp-wsml-rule-reasoner/rs/reasoner
The current interface might be changed without notice, so please drop us a line if you use it.
Date: 2010-09-28 12:28:22