IMGT-Kaleidoscope, the formal IMGT-ONTOLOGY paradigm