DC Proposal: Towards a Framework for Efficient Query Answering and Integration of Geospatial Data

  • Patrik Schneider
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7032)


Semantic Web technologies are becoming more interleaved with geospatial databases, which should lead to an easier integration and querying of spatial data. This is fostered by a growing amount of publicly available geospatial data like OpenStreetMap. However, the integration can lead to geographic inconsistencies when combining multiple knowledge bases. Having the integration in place, users might not just issue a points-of-interest search, but rather might be interested in regions with specific attributes assigned to them. Though, having large amounts of spatial data available, standard databases and reasoners do not provide the means for (quantitative) spatial queries, or struggle to answer them efficiently. We seek to combine spatial reasoning, (nonmonotonic) logic programming, and ontologies for integrating geospatial databases with Semantic Web technologies. The focus of our investigation will be on a modular design, on efficient processing of large amounts of spatial data, and on enabling default reasoning. We propose a two-tier design related to HEX-programs, which should lead to a plausible trade-off between modularity and efficiency. Furthermore, we consider suitable geo-ontologies to semantically annotate and link different sources. Finally, the findings should lead to a proof-of-concept implementation, which will be tested for efficiency and modularity in artificial and real-world use cases.


Geographic Information System Spatial Reasoning Conjunctive Query Spatial Query Query Answering 
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.
    Abdelmoty, A., Smart, P., El-Geresy, B., Jones, C.: Supporting Frameworks for the Geospatial Semantic Web. In: Mamoulis, N., Seidl, T., Pedersen, T.B., Torp, K., Assent, I. (eds.) SSTD 2009. LNCS, vol. 5644, pp. 355–372. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Apt, K.R., Warren, D.S., Truszczynski, M.: The Logic Programming Paradigm: A 25-Year Perspective. Springer, New York (1999)CrossRefzbMATHGoogle Scholar
  3. 3.
    Bennett, B.: Spatial reasoning with propositional logics. In: KR 1994, pp. 51–62 (1994)Google Scholar
  4. 4.
    de Berg, M., Cheong, O., van Kreveld, M., Overmars, M.: Computational geometry: Algorithms and Applications. Springer, Heidelberg (2008)CrossRefzbMATHGoogle Scholar
  5. 5.
    Bishr, Y.A.: Geospatial semantic web: Applications. In: Encyclopedia of GIS, pp. 391–398. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM (to appear, 2011)Google Scholar
  7. 7.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 255–356. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Chen, H., Perich, F., Finin, T.W., Joshi, A.: Soupa: Standard ontology for ubiquitous and pervasive applications. In: MobiQuitous 2004, pp. 258–267 (2004)Google Scholar
  9. 9.
    DeMers, M.N.: Fundamentals of geographic information systems, 4th edn. Wiley (2008)Google Scholar
  10. 10.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12(2), 11 (2011)CrossRefzbMATHGoogle Scholar
  11. 11.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12-13), 1495–1539 (2008)CrossRefzbMATHGoogle Scholar
  12. 12.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Fazzinga, B., Gianforme, G., Gottlob, G., Lukasiewicz, T.: Semantic Web Search Based on Ontological Conjunctive Queries. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 153–172. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  14. 14.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW 2003, pp. 48–57. ACM (2003)Google Scholar
  15. 15.
    Grütter, R., Scharrenbach, T., Waldvogel, B.: Vague spatio-thematic query processing: A qualitative approach to spatial closeness. Trans. GIS 14(2), 97–109 (2010)CrossRefGoogle Scholar
  16. 16.
    Haarslev, V., Möller, R., Wessel, M.: Querying the semantic web with racer + nrql. In: ADL 2004 (2004)Google Scholar
  17. 17.
    Horrocks, I., Patel-Schneider, P.F.: A proposal for an owl rules language. In: WWW 2004, pp. 723–731 (2004)Google Scholar
  18. 18.
    Jones, C.B.: Geographical information systems and computer cartography. Prentice Hall (1997)Google Scholar
  19. 19.
    Katz, Y., Cuenca Grau, B.: Representing qualitative spatial information in owl-dl. In: OWLED 2005 (2005)Google Scholar
  20. 20.
    Levy, A.Y., Rousset, M.C.: Combining horn rules and description logics in carin. Artif. Intell. 104(1-2), 165–209 (1998)CrossRefzbMATHGoogle Scholar
  21. 21.
    Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic el using a relational database system. In: IJCAI 2009, pp. 2070–2075 (2009)Google Scholar
  22. 22.
    Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI 2007, pp. 477–482 (2007)Google Scholar
  23. 23.
    Renz, J.: Qualitative Spatial Reasoning with Topological Information. LNCS (LNAI), vol. 2293. Springer, Heidelberg (2002)zbMATHGoogle Scholar
  24. 24.
    Rodríguez, M.A., Cruz, I.F., Egenhofer, M.J., Levashkin, S.: GeoS 2005. LNCS, vol. 3799. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  25. 25.
    Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: KR 2006, pp. 68–78 (2006)Google Scholar
  26. 26.
    Smart, P.D., Abdelmoty, A.I., El-Geresy, B.A., Jones, C.B.: A Framework for Combining Rules and Geo-Ontologies. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 133–147. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  27. 27.
    Stocker, M., Sirin, E.: Pelletspatial: A hybrid rcc-8 and rdf/owl reasoning and query engine. In: OWLED 2009. Springer, Heidelberg (2009)Google Scholar
  28. 28.
    Wessel, M., Möller, R.: Flexible software architectures for ontology-based information systems. J. Applied Logic 7(1), 75–99 (2009)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Patrik Schneider
    • 1
  1. 1.Institut für InformationssystemeTechnische Universität WienViennaAustria

Personalised recommendations