Automated Benchmarking of Description Logic Reasoners

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/dlog/GardinerHT06, title={Automated Benchmarking of Description Logic Reasoners}, year={2006}, crossref={DBLP:conf/dlog/2006}, booktitle={Description Logics}, ee={http://www.ceur-ws.org/Vol-189/submission_23.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog2006.html#GardinerHT06}, author={Tom Gardiner and Ian Horrocks and Dmitry Tsarkov} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Automated_Benchmarking_of_Description_Logic_Reasoners"
Personal tools