The Institute of Artificial intelligence was very successful at the OWL Reasoner Evaluation Competition 2013. The reasoners ELK, HermiT and Konclude, which are (co-)developed by members of the institute, won in 7 of the 10 categories.

OWL Reasoner Evaluation Competition 2013: ORE2013.cs.manchester.ac.uk