Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Volker Haarslev, Ralf Moeller · 1997
: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. This theory is motivated as basis for knowledge representation and query processing for instance in the domain of deductive geographic information systems. Keywords: Qualitative spatial reasoning, terminological reasoning. 1 Introduction The combination of formal conceptual and spatial reasoning serves as a theoretical basis for knowledge representation in domains such as geographical information systems (GIS) and can be used to solve important application problems. For instance, spatioterminological inferences can be applied to interpretation of map databases [ 6 ] and to spatial query processing [ 9 ] . Our treatment of spatial reasoning is based on Egenhofer 's set...