Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao. Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. In Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller, editors, Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. Volume 1207 of CEUR Workshop Proceedings, pages 51-57, CEUR-WS.org, 2014. [doi]
@inproceedings{EiterSSX14, title = {Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners}, author = {Thomas Eiter and Patrik Schneider and Mantas Simkus and Guohui Xiao}, year = {2014}, url = {http://ceur-ws.org/Vol-1207/paper_10.pdf}, researchr = {https://researchr.org/publication/EiterSSX14}, cites = {0}, citedby = {0}, pages = {51-57}, booktitle = {Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014}, editor = {Samantha Bail and Birte Glimm and Ernesto Jiménez-Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, volume = {1207}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }