Ontology QC

QC on monarch.owl and Upheno coming soon, for now see https://github.com/cmungall/ontology-change-language