Source files for axiomatizing the ontology of OMIA - View it on GitHub