WSML-Rule v2.0 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:

The reasoner is based on the following components:

The current interface might be changed without notice, so please drop us a line if you use it.

Date: 2009-09-22 16:03:25