Foundations of Spatioterminological Reasoning with Description Logics

This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. For spatioterminological reasoning we present the description logic ALCRP(D) and define an appropriate concrete domain D for polygons. The theory is motivated as a basis for knowledge representation and query processing in the domain of deductive geographic information systems.

• Type: Conference
• Year: 1998
• Where: KR
• Authors: Volker Haarslev, Carsten Lutz, Ralf Möller
• Keywords: Automated Reasoning, KR 1998, Qualitative Spatial Relationships, Reasoning, Terminological Reasoning