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. There is no spicy ice cream (From "Modified Pizza Ontology" - Using ELK Size Minimal Proof)
2. There is no spicy ice cream (From "Modified Pizza Ontology" - Using ELK Weighted Size Minimal Proof - condensed)
3. Every sebaceous gland is a holocrine gland (From "Skin Physiology Ontology" - Using LETHE Proof)
4. Every sebaceous gland is a holocrine gland (From "Skin Physiology Ontology" - Using LETHE Detailed Proof)
5. Sebaceous glands are entities (From "Skin Physiology Ontology" - Using FAME Size Minimal Proof)
6. Sebaceous glands are entities (From "Skin Physiology Ontology" - Using FAME Size Minimal Proof - condensed)
7. Every pathological process of urinary tract is a non-canonical processual entity (From "Dispedia Core Ontology" - Using ELK Size Minimal Proof)
8. Every pathological process of urinary tract is a non-canonical processual entity (From "Dispedia Core Ontology" - Using ELK Depth Minimal Proof - condensed)
9. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using LETHE Proof)
10. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using LETHE Detailed Proof)
11. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using FAME Proof)
12. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using FAME Proof - condensed)