Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners

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]

Abstract

Abstract is missing.