Upload OWL Ontology

Supported formats: OWL/RDF (.owl, .rdf, .xml, .owx)
What happens next?

After uploading, the system will:

  • Parse and analyze your ontology file
  • Check logical consistency across multiple reasoners
  • Extract axioms and FOL premises
  • Generate an interactive visualization of the class hierarchy
About Ontology Analysis

This system is designed to work with any OWL/RDF ontology - not just BFO-based ones. However, if your ontology uses BFO classes or relations, they will be specially recognized and can be tested against BFO-specific validation rules.

Recommended: For the best experience, ensure your ontology uses standard OWL format and imports any external ontologies it depends on.

Back to Home