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.
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-2 12:28:22