Tom Gardiner

Framework for an Automated Comparison of Description Logic Reasoners

Ian Horrocks, Tom Gardiner, Dmitry Tsarkov, 2006, SEMWEB.

Automated Benchmarking of Description Logic Reasoners

Ian Horrocks, Tom Gardiner, Dmitry Tsarkov, 2006, Description Logics.