Enter a WSML DL v2.0 ontology either by pasting it into the text area below or enter its URL. Enter a concept expression in the query text area below. Pressing the <Test concept satisfiability> button will then display whether the expression you entered is satisfiable or not. Pressing the <Get class hierarchy> button will display a class tree of the given ontology. Pressing the <Get relation hierarchy> button will display a relation hierarchy of the given ontology.
This Service is also accessible as Web Service at http://iris.sti2.at/reasoners/wsml-dl-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