- Title
- Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners
- Creators
- T EiterP SchneiderM ŠimkusGuohui Xiao
- Publication Details
- Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), pp.51-57
- Editor(s)
- Bail S [et al.]
- ISSN
- 1613-0073
- Conference
- 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) (Vienna, 13/07/2014 - 13/07/2014)
- Series / Volume
- CEUR Workshop Proceedings
1207 - Publisher
- CEUR
Aachen - Format
- Online
- Identifiers
- (UNIBZ)18053
991006493489201241 - Scopus ID
- 2-s2.0-84922191049
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Conference proceeding
- Author Names String
- Eiter T, Schneider P, Šimkus M, Xiao G
- Additional Description
- Editors/Supervisors: Bail S [et al.]
Conference proceeding
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners
Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), pp.51-57
CEUR Workshop Proceedings, 1207
3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) (Vienna, 13/07/2014 - 13/07/2014)
2014
Handle:
https://hdl.handle.net/10863/33530
Details
Metrics
4 Record Views