Vol-1206⫷ Vol-1207 ⫸Vol-1208
urn:nbn:de:0074-1207-0


Vol-1207/paper_8⫷Vol-1207/paper_10⫸Vol-1207/paper_4
Mantas SimkusGuohui Xiao 0001Patrik SchneiderThomas Eiter

Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners