Semantics-based formal representation and inference techniques for spatial problems

The aim of the project is the further development of descriptive-logical knowledge representation formalisms, with particular emphasis on modeling techniques for spatial phenomena. The aim is to develop correct and complete inference mechanisms that make it possible to systematically combine quantitative and qualitative information about spatial objects and phenomena with conceptual information. This allows, for example, spatial features to be appropriately considered in the classification of concepts and objects. The integrated form of data modeling makes it possible, among other things, to avoid modeling errors during modeling by drawing conclusions about concepts. The goal is to develop optimized inference algorithms for informed searches, aiming for short computing times for realistic knowledge bases. This will enable important application problems to be solved using theoretically sound and systematically tested inference methods. The project aims to establish a foundation for knowledge representation, and in particular for processing queries to deductive geographic information systems.