Knowledge Organization: formal representations of knowledge, Vocabularies, Taxonomies, Thesaurus