Automated Benchmarking of Description Logic Reasoners
Tom Gardiner‚ Ian Horrocks and Dmitry Tsarkov
Book Title
Proc. of the 2006 Description Logic Workshop (DL 2006)
Series
CEUR (http://ceur-ws.org/)
Volume
189
Year
2006
Tom Gardiner‚ Ian Horrocks and Dmitry Tsarkov