Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences

Abstract: 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.

• Type: Conference
• Year: 1997
• Where: DLOG
• Authors: Volker Haarslev, Ralf Möller
• Keywords: Automated Reasoning, Deductive Geographic Information, DLOG 1997, Qualitative Spatial Relationships, Terminological Reasoning