WSML-Rule Reasoner

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.

URL:
WSML:

Conjunctive Query:
Query Type: Variable Binding Entailment
   

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