Zhengxiang Pan Benchmarking DL Reasoners Using Realistic Ontologies. 2005 OWLED http://ceur-ws.org/Vol-188/sub6.pdf conf/owled/2005 db/conf/owled/owled2005.html#Pan05