TestOntologies

Test Ontologies

A zip file containing all ontologies used in recent evaluations of ELK that we are allowed to distribute is available here.

Various ontologies for testing EL reasoners can be found on the Web.

• SNOMED CT is not a free ontology but can be obtained free of charge for research purposes; see IHTSDO for further information.

• ANATOMY is an experimental remodeling of the ‘body structure’ hierarchy of SNOMED CT using role composition axioms.

• The EL version of GALEN was obtained from the version 7 of CO-ODE GALEN by removing all inverse role, functional role, and role chain axioms.

• Versions 7 and 8 of GALEN with non-regular role composition axioms can be obtained at Open-GALEN.

• Recent versions of GO use interesting features such as negative occurrences of conjunctions and existential restrictions, and even disjointness axioms. A live version of GO is available from Ontobee.

There are many other EL ontologies on the Web, but most of them are trivial for classification because they use only a very limited set of features. Many such ontologies can be found at:

• The test ontology page for the CEL reasoner includes older versions of GO, NCI, and GALEN.

• The Ontobee and the OBO Foundry servers list dozens of real-life ontologies, mostly in OBO format or converted from OBO to OWL; includes GO, FMA, ChEBI, EMAP, Molecule Role, and Fly Anatomy.

• FMA can also be downloaded from the fma-in-owl project.