Formalization of taxon-based constraints to detect inconsistencies in annotation and ontology development