A paper by SEALS partner University of Oxford on testing incomplete reasoners:

How Incomplete is your Semantic Web Reasoner?
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks

has been selected as one of two Outstanding Papers for AAAI-10, the 24th conference on Artificial Intelligence.

The AAAI-10 conference's goal is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines. 

Co-author Giorgos Stoilos will be presented with the award at the AAAI-10 opening ceremony on Tuesday, July 13, in Atlanta.