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]

Authors

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Patrik Schneider

This author has not been identified. Look up 'Patrik Schneider' in Google

Mantas Simkus

This author has not been identified. Look up 'Mantas Simkus' in Google

Guohui Xiao

This author has not been identified. Look up 'Guohui Xiao' in Google