A Rule-based Framework for Creating Instance Data from OpenStreetMap

  • Thomas Eiter
  • Jeff Z. Pan
  • Patrik SchneiderEmail author
  • Mantas Šimkus
  • Guohui Xiao
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9209)


Reasoning engines for ontological and rule-based knowledge bases are becoming increasingly important in areas like the Semantic Web or information integration. It has been acknowledged however that judging the performance of such reasoners and their underlying algorithms is difficult due to the lack of publicly available datasets with large amounts of (real-life) instance data. In this paper we describe a framework and a toolbox for creating such datasets, which is based on extracting instances from the publicly available OpenStreetMap (OSM) geospatial database. To this end, we give a formalization of OSM and present a rule-based language to specify the rules to extract instance data from OSM data. The declarative nature of the approach in combination with external functions and parameters allows one to create several variants of the dataset via small modifications of the specification. We describe a highly flexible toolbox to extract instance data from a given OSM map and a given set of rules. We have employed our tools to create benchmarks that have already been fruitfully used in practice.


Conjunctive Query SPARQL Query External Function Datalog Program Geospatial Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)Google Scholar
  2. 2.
    Baader, F., Brand, S., Lutz, C.: Pushing the \(\cal {EL}\) envelope. In: Proceedings of IJCAI 2005, pp. 364–369. Morgan-Kaufmann Publishers (2005)Google Scholar
  3. 3.
    Borgelt, C.: Frequent item set mining. Data Min. Knowl. Disc. 2(6), 437–456 (2012). Wiley Interdisciplinary ReviewsCrossRefGoogle Scholar
  4. 4.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the dl-lite family. J. Autom. Reasoning 39(3), 385–429 (2007)CrossRefGoogle Scholar
  5. 5.
    Eiter, T., Fink, M., Stepanova, D.: Computing repairs for inconsistent DL-programs over \({\cal EL}\) ontologies. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 426–441. Springer, Heidelberg (2014) Google Scholar
  6. 6.
    Eiter, T., Krennwallner, T., Schneider, P.: Lightweight spatial conjunctive query answering using keywords. In: Cimiano, P., Corcho, O., Presutti, V., Hollink, L., Rudolph, S. (eds.) ESWC 2013. LNCS, vol. 7882, pp. 243–258. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  7. 7.
    Eiter, T., Schneider, P., Simkus, M., Xiao, G.: Using openstreetmap data to create benchmarks for description logic reasoners. In: Informal proceedings of ORE 2014, July 2014Google Scholar
  8. 8.
    Garbis, G., Kyzirakos, K., Koubarakis, M.: Geographica: a benchmark for geospatial rdf stores (Long Version). In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part II. LNCS, vol. 8219, pp. 343–359. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  9. 9.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP/SLP 1988, vol. 88, pp. 1070–1080 (1988)Google Scholar
  10. 10.
    Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. Web Semantics 3(2–3), 158–182 (2005)CrossRefGoogle Scholar
  11. 11.
    Imprialou, M., Stoilos, G., Cuenca Grau, B., Benchmarking ontology-based query rewriting systems. In: Proceedings of AAAI 2012 (2012)Google Scholar
  12. 12.
    Kolas, D: A benchmark for spatial semantic web systems. In: 4th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS2008), October 2008Google Scholar
  13. 13.
    Kollia, I., Glimm, B.: Optimizing SPARQL query answering over OWL ontologies. J. Artif. Intell. Res. (JAIR) 48, 253–303 (2013)MathSciNetGoogle Scholar
  14. 14.
    Kontchakov, R., Rezk, M., Rodríguez-Muro, M., Xiao, G., Zakharyaschev, M.: Answering SPARQL queries over databases under OWL 2 QL entailment regime. In: Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrandečić, D., Groth, P., Noy, N., Janowicz, K., Goble, C. (eds.) ISWC 2014, Part I. LNCS, vol. 8796, pp. 552–567. Springer, Heidelberg (2014) Google Scholar
  15. 15.
    Lanti, D., Rezk, M., Xiao, G., Calvanese, D.: The NPD benchmark: reality check for OBDA systems. In: Proceedings of EDBT 2015. ACM Press (2015)Google Scholar
  16. 16.
    Ma, L., Yang, Y., Qiu, Z., Xie, G.T., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125–139. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  17. 17.
    Mora, J., Corcho, O.: Towards a systematic benchmarking of ontology-based query rewriting systems. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013, Part II. LNCS, vol. 8219, pp. 376–391. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  18. 18.
    Pérez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 489–504. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  19. 19.
    Sirin, E., Parsia, P., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Sem. 5(2), 51–53 (2007)CrossRefGoogle Scholar
  20. 20.
    Stoilos, G., Cuenca Grau, B., Horrocks, I.: How incomplete is your semantic web reasoner? In: Proceedings of AAAI 2010. AAAI Press (2010)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Thomas Eiter
    • 1
  • Jeff Z. Pan
    • 3
  • Patrik Schneider
    • 1
    • 4
    Email author
  • Mantas Šimkus
    • 1
  • Guohui Xiao
    • 2
  1. 1.Institute of Information SystemsVienna University of TechnologyViennaAustria
  2. 2.Faculty of Computer ScienceFree University of Bozen-BolzanoBolzanoItaly
  3. 3.University of AberdeenAberdeenUK
  4. 4.Vienna University of Economics and BusinessViennaAustria

Personalised recommendations