Select a reasoner to classify the ontology
Select a concrete domain
Select constraints file
Select a file containing a
Create a new project by uploading an ontology and specifying an inferrence, or select an existing project to continue where you left off.
Select one of the available examples to get acquainted with the tool without previous setup.