The Knowledge Organization and Representation Group researches into ways of formally representing knowledge using structured knowledge organization systems, ontologies, and logic. Work focuses on both theory and methodology in the modelling of domains, and in the use of representations for automatic classification and handling of information, and automated reasoning.