Upload OWL Ontology

Supported formats: OWL/RDF (.owl, .rdf, .xml, .owx), Turtle (.ttl, .n3, .nt), OWL functional (.ofn).
Modular ontologies (several files that import each other)

Select all the module files at once, or one .zip of them. Each file's owl:imports are matched to the other uploaded files by ontology IRI, a Protégé catalog-v001.xml if you include one, or file name. Nothing is downloaded. You don't need to include BFO: the built-in BFO 2020 is used. The top-level module and everything it imports are analysed together, and you can then check the stack layer by layer.

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