is a tool for explaining logical consequences of OWL ontologies as well as debugging unwanted consequences.

Your Projects more_vert

Create a new project by uploading an ontology and specifying an inferrence, or select an existing project to continue where you left off.


close
Play Aroundmore_vert

Select one of the available examples to get acquainted with the tool without previous setup.


close
1. Difference Equations - Infinite Solutions (1)
2. Difference Equations - Unsatisfiable (1)
3. Difference Equations - Infinite Solutions (2)
4. Difference Equations - Unsatisfiable (2)
5. Linear Equations - Infinite Solutions (1)
6. Linear Equations - No solution (1)
7. Linear Equations - Infinite Solutions (2)
8. Linear Equations - No solution (2)