Scalable Approaches For Auditing The Completeness Of Biomedical Ontologies