Das Institut für Künstliche Intelligenz war sehr erfolgreich bei der OWL Reasoner Evaluation Competition 2013. Die Reasoner ELK, HermiT und Konclude, die von Mitarbeitern des Instituts (mit-)entwickelt werden, gewannen in 7 der 10 Kategorien.
Link für OWL Reasoner Evaluation Competition 2013: ORE2013.cs.manchester.ac.uk