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.


Conjunctive Query:
Query Type: Variable Binding Entailment

The reasoner is based on the following components:

This Service is also accessible as Web Service at

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