Combining Ontological and Qualitative Spatial Reasoning: Application to Urban Images Interpretation | SpringerLink
Skip to main content
Springer Nature Link
Log in

Combining Ontological and Qualitative Spatial Reasoning: Application to Urban Images Interpretation

  • Conference paper
  • First Online:
Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 454))

  • 987 Accesses

Abstract

In this paper, we develop a qualitative spatial reasoning (QSR) applied to the interpretation of urban satellite images. This reasoning is integrated within an ontology of urban objects, which has been implemented in cooperation with expert geographers. The spatial concepts mainly include the set of topological relations of the Region Connection Calculus theory (RCC8), and the set of computational primitives (CM8) which have been defined for computing the RCC8 relations on raster images. Our approach relies on a reified representation of the RCC8 relationship and of the CM8 primitives, within a lattice of concepts, implemented in OWL (Ontology Web Language). It provides a straightforward representation of concepts corresponding to conjunctions or disjunctions of spatial relations, and thus offers the advantage to overcome some drawbacks of the existing approaches in OWL, where spatial relations are represented as roles. Indeed, the OWL language does not allow the expression of the disjunction of roles. We can then implement a reasoning on the RCC8 relationship, which in particular allows the computation of the composition table and its transitive closure. As the reification of roles precludes the use of role’s properties, such as symmetry and transitivity, we propose to implement RCC8 inferences through SWRL rules (Semantic Web Rule Language).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    http://protege.stanford.edu.

  2. 2.

    \(PO(x,y) \wedge TPP(y,z) \Rightarrow TPP(x,z) \vee NTPP(x,z) \vee PO(x,z)\).

  3. 3.

    In general, for every spatial relation \( SR \), \( SR^{-1} \) represents its inverse.

  4. 4.

    http://owlapi.sourceforge.net/.

  5. 5.

    http://icube-bfo.unistra.fr/fr/index.php/Plateformes.

References

  1. Batsakis, S., Petrakis, E.G.M.: SOWL: a framework for handling spatio-temporal information in owl 2.0. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 242–249. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  2. Clarke, B.L.: A calculus of individuals based on ‘connection’. Notre Dame J. Formal Logic 22(3), 204–218 (1981)

    Article  MATH  MathSciNet  Google Scholar 

  3. Clementini, E., Di Felice, P., van Oosterom, P.: A small set of formal topological relationships suitable for end-user interaction. In: Abel, David J., Ooi, Beng-Chin (eds.) SSD 1993. LNCS, vol. 692, pp. 277–295. Springer, Heidelberg (1993). http://dl.acm.org/citation.cfm?id=647223.718898

    Chapter  Google Scholar 

  4. Cravero, M., Zanni-Merk, C., de Bertrand de Beuvron, F., Marc-Zwecker, S.: A description logics geographical ontology for effective semantic analysis of satellite images. In: 16th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2012. vol. 243, pp. 1573–1582. IOS Press, September 2012

    Google Scholar 

  5. Deng, M., Cheng, T., Chen, X., Li, Z.: Multi-level topological relations between spatial regions based upon topological invariants. GeoInformatica 11, 239–267 (2007). http://dx.doi.org/10.1007/s10707-006-0004-x

    Article  Google Scholar 

  6. Egenhofer, M.J.: A formal definition of binary topological relationships. In: Litwin, W., Schek, H.-J. (eds.) FODO 1989. LNCS, vol. 367, pp. 457–472. Springer, Heidelberg (1989)

    Chapter  Google Scholar 

  7. Glimm, B., Horrocks, I., Motik, B.: Optimized description logic reasoning via core blocking. In: Giesl, J., Hähnle, R. (eds.) IJCAR 2010. LNCS, vol. 6173, pp. 457–471. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  8. Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: the next step for OWL. Web Semant. Sci. Serv. Agents World Wide Web 6(4), 309–322 (2008). http://www.sciencedirect.com/science/article/pii/S1570826808000413, Semantic Web Challenge 2006/2007

    Article  Google Scholar 

  9. Hogenboom, F., Borgman, B., Frasincar, F., Kaymak, U.: Spatial knowledge representation on the semantic web. In: Proceedings of the 2010 IEEE Fourth International Conference on Semantic Computing, ICSC 2010, pp. 252–259 IEEE Computer Society, Washington, DC, USA (2010). http://dx.doi.org/10.1109/ICSC.2010.31

  10. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantic web rule language combining OWL and RuleML. W3c member submission, World Wide Web Consortium (2004). http://www.w3.org/Submission/SWRL

  11. Jitkajornwanich, K., Elmasri, R., Li, C., McEnery, J.: Formalization of 2-D spatial ontology and OWL/Protégé realization. In: Proceedings of the International Workshop on Semantic Web Information Management, SWIM 2011, pp. 9:1–9:7 ACM, New York (2011). http://doi.acm.org/10.1145/1999299.1999308

  12. Katz, Y., Grau, B.C.: B.C.: Representing qualitative spatial information in OWL-DL. In: Proceedings of OWL: Experiences and Directions (2005)

    Google Scholar 

  13. Le Ber, F., Napoli, A.: The design of an object-based system for representing and classifying spatial structures and relations. J. Univers. Comput. Sci. 8(8), 751–773 (2002). Special issue on Spatial and Temporal Reasoning

    Google Scholar 

  14. Le Ber, F., Napoli, A.: Design and comparison of lattices of topological relations for spatial representation and reasoning. J. Exp. Theor. Artif. Intell. 15(3), 331–371 (2003)

    Article  MATH  Google Scholar 

  15. Miron, A.-D., Gensel, J., Villanova-Oliver, M.: Semantic analysis for the geospatial web – application to OWL-DL ontologies. In: Bertolotto, M., Ray, C., Li, X. (eds.) W2GIS 2008. LNCS, vol. 5373, pp. 37–49. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. Web Semant. Sci. Serv. Agents World Wide Web 3(1), 41–60 (2005). http://www.sciencedirect.com/science/article/pii/S157082680500003X, Rules Systems

    Article  Google Scholar 

  17. Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proceedings 3rd International Conference on Knowedge Representation and Reasoning (1992)

    Google Scholar 

  18. Renz, J., Nebel, B.: Efficient methods for qualitative spatial reasoning. In: Proceedings of the 13th European Conference on Artificial Intelligence, pp. 562–566. Wiley (1998)

    Google Scholar 

  19. Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. Web Semant. Sci. Serv. Agents World Wide Web 5(2), 51–53 (2007). http://dx.doi.org/10.1016/j.websem.2007.03.004

    Article  Google Scholar 

  20. Wessel, M.: Obstacles on the way to qualitative spatial reasoning with description logics: some undecidability results. In: Proceedings of the International Workshop in Description Logics 2001 (DL 2001), pp. 96–105 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICube Laboratory, BFO Team, INSA de Strasbourg, CNRS, Strasbourg, France

    François de Bertrand de Beuvron & Cecilia Zanni-Merk

  2. ICube Laboratory, BFO Team, Strasbourg University, CNRS, Strasbourg, France

    Stella Marc-Zwecker

  3. ICube Laboratory, BFO Team, Strasbourg University/ENGEES, CNRS, Strasbourg, France

    Florence Le Ber

Authors
  1. François de Bertrand de Beuvron
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stella Marc-Zwecker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Cecilia Zanni-Merk
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Florence Le Ber
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to François de Bertrand de Beuvron .

Editor information

Editors and Affiliations

  1. Technical University of Lisbon, Lisbon, Portugal

    Ana Fred

  2. Faculty of Electrical Engineering, Mathematics and Computer Science, Delft University of Technology, Delft, The Netherlands

    Jan L.G. Dietz

  3. Henley Business School, University of Reading, Reading, United Kingdom

    Kecheng Liu

  4. INSTICC, Setubal, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Bertrand de Beuvron, F., Marc-Zwecker, S., Zanni-Merk, C., Le Ber, F. (2015). Combining Ontological and Qualitative Spatial Reasoning: Application to Urban Images Interpretation. In: Fred, A., Dietz, J., Liu, K., Filipe, J. (eds) Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K 2013. Communications in Computer and Information Science, vol 454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46549-3_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-46549-3_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-46548-6

  • Online ISBN: 978-3-662-46549-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation