Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners

Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao
2014 International Workshop on OWL Reasoner Evaluation  
dblp:conf/ore/EiterSSX14 fatcat:mxvt2qautnfcrlcgg3f6w6oyby