Formal Concept Analysis Applications in Bioinformatics