Working repository for v2 of CARO
Web Ontology Language
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.


A site to develop a new version of the common anatomy reference ontology ( This new version will be developed in OWL. It aims to have much clearer textual definitions than the original and to be much more formalized. This formalization will allow auto-classification and consistency checking.


The ontology is stored in src/ontology/

Bridge Files

Bridge files to various AOs are here:


We have a Jenkins job for each anatomy ontology, see the list below:

These are all grouped here:

If an AO has a red ball it means the combination of CARO, the AO and bridge axioms is formally incoherent (has unsatisfiable classes). The list of unsatisfiable classes is visible by clicking on the job and viewing the 'bridge check' artefact. Scroll to the bottom and look for 'UNSAT's.

To determine the reason:

  1. open the relevant bridge file in the repository
  2. Initiate the reasoner (HermiT recommended for most ontologies)
  3. Open the 'Nothing' node in the inferred view
  4. Select '?' to see the explanation where it says SubClassOf Nothing

Additional notes: the fbbt check may be less complete, as Elk is used (HermiT is too slow with fbbt)