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
There is no spicy ice cream (From "Modified Pizza Ontology" - Using ELK Size Minimal Proof)
There is no spicy ice cream (From "Modified Pizza Ontology" - Using ELK Weighted Size Minimal Proof - condensed)
Every sebaceous gland is a holocrine gland (From "Skin Physiology Ontology" - Using LETHE Proof)
Every sebaceous gland is a holocrine gland (From "Skin Physiology Ontology" - Using LETHE Detailed Proof)
Sebaceous glands are entities (From "Skin Physiology Ontology" - Using FAME Size Minimal Proof)
Sebaceous glands are entities (From "Skin Physiology Ontology" - Using FAME Size Minimal Proof - condensed)
Every pathological process of urinary tract is a non-canonical processual entity (From "Dispedia Core Ontology" - Using ELK Size Minimal Proof)
Every pathological process of urinary tract is a non-canonical processual entity (From "Dispedia Core Ontology" - Using ELK Depth Minimal Proof - condensed)
Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using LETHE Proof)
Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using LETHE Detailed Proof)
Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using FAME Proof)
Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using FAME Proof - condensed)
Difference Equations - Infinite Solutions (1)
Difference Equations - Unsatisfiable (1)
Difference Equations - Infinite Solutions (2)
Difference Equations - Unsatisfiable (2)
Linear Equations - Infinite Solutions (1)
Linear Equations - No solution (1)
Linear Equations - Infinite Solutions (2)
Linear Equations - No solution (2)