548-0118/04 – Spatial Reasoning (SR)

Gurantor departmentDepartment of GeoinformaticsCredits5
Subject guarantordoc. Ing. Petr Rapant, CSc.Subject version guarantordoc. Ing. Petr Rapant, CSc.
Study levelundergraduate or graduateRequirementCompulsory
Study languageCzech
Year of introduction2021/2022Year of cancellation
Intended for the facultiesHGFIntended for study typesFollow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
RAP30 doc. Ing. Petr Rapant, CSc.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+2
Part-time Credit and Examination 8+8

Subject aims expressed by acquired skills and competences

The aim of the course is to acquaint students with the basic principles, the subject of study and methods of qualitative spatial reasoning and its application in geosciences. Practically acquired skills allow them to design unconventional approaches to spatial data analysis and use it to find the right solutions to various problems.

Teaching methods



The course deals with the application of methods and procedures of mathematical logic to the area of spatial data. It deals first with an introduction to the problem of reasoning, qualitative representation and reasoning and the issue of the inclusion of space in representation and reasoning.

Compulsory literature:

Worboys, M., Duckham, M.: GIS: a Computational Perspective. Second Edition. CRC Press, Boca Raton, 2004. 426 str. Duží, M.: Mathematical Logic. Lesons. VŠB-TU Ostrava. http://www.cs.vsb.cz/duzi/MatLog-English.html Fadlysiah, M.: Qualitative Reasoning: An Introduction. Univerity of Oslo, 2009. 41 str. http://www.uio.no/studier/emner/matnat/ifi/INF5160/v09/undervisningsmateriale/qualitative_reasoning_intro.pdf Sharma, Jayant: Integrated Spatial Reasoning in Geographic Information System: Combining Topology and Directions. PhD theses, 1996, Maine

Recommended literature:

Chaudhri, V. K.: CS 227: Knowledge Representation and Reasoning. Stanford University, 2011. http://web.stanford.edu/class/cs227/ Hunt, J. E., Lee, M. H., Price, C. J.: Applications of Qualitative Model-Based Reasoning. Control Engineering Practice, 1 (2), pp. 253-256. 1993. http://www.it.iitb.ac.in/~palwencha/mtp/MBR.pdf Casati, R., and Varzi, A. C.: Parts and places: the structures of spatial representation. MIT Press, 2003. 248 str. Cohn, A, Bennett, B., Gooday, J., Gotts, N. M.: Quantitative Spatial Representation and reasoning with the Region Connection Calculus. Geoinformatica, vol. 1, 1997. Pp. 1-44. http://www.comp.leeds.ac.uk/qsr/pub/geoinformatica.pdf

Way of continuous check of knowledge in the course of semester

Continuous control of processed tasks in practical exercises. Written and oral exam.


Other requirements

No additional requirements are imposed on the student.


Subject has no prerequisities.


Subject has no co-requisities.

Subject syllabus:

1) Overview of spatial reasoning. Logic and deduction. Reasoning 2) Syntax and semantics. Qualitative reasoning 3) Qualitative representation 4) QSR - qualitative spatial reasoning 5) Tools of qualitative spatial reasoning 6) RCC - region connection calculus 7) 4-intersection model. 9-intersection model. 8) Dimensionally extended 9-intersection model 9) Vagueness, uncertainty, granularity and indistinguishability 10) Example of spatial reasoning. Formal notation Note: The course is taught in the last semester with 10 weeks of teaching.

Conditions for subject completion

Part-time form (validity from: 2020/2021 Winter semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
Credit and Examination Credit and Examination 100 (100) 51
        Credit Credit 33  17
        Examination Examination 67 (67) 18
                Written part of exam Written examination 52  18
                Oral part of exam Oral examination 15  0
Mandatory attendence parzicipation: Lectures are optional, attendance at seminars at least 80%.

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2021/2022 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 2 Compulsory study plan
2021/2022 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 2 Compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner