Monitoring OBO interoperability

Overview of relations used in the OBOs

View an interactive dashboard detailing the different relations used by the OWL files cataloged in the OBO Foundry.

Analysis of individual OBO OWL files

View an interactive dashboard summarizing OWL reasoner and cycle detection results for all OWL files cataloged in the OBO Foundry. Hovering over question marks in the dashboard view will display a short description of each visualization.

OWL reasoner results for pairs of OBOs

The following figures show results from running the ELK and HermiT reasoners over pairs of OWL files cataloged by the OBO Foundry.

Results for all OWL files cataloged by the OBO Foundry

Figure legend:
  Upper triangle = results from ELK
  Lower triangle = results from HermiT
  Red = inconsistent ontology
  Orange = >0 incoherent classes observed
  Pale green = 0 incoherent classes observed
  Grays = process failure due to either timeout after 1 hour, out-of-memory
                error (16GB), or some other unspecified reason