WSML DL v2.0 Reasoner

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.


concept satisfiability expression:

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