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