L'ontologie OntoMic vise à automatiser la détection d'incohérences dans les documents de référence des laboratoires de microbiologie. OntoMic a recours au formalisme de Basic Formal Ontology (BFO) pour représenter les informations et à l'inférence automatique par raisonneur pour la détection automatique des incohérences.