Sciweavers

Share
KR
1998
Springer

Foundations of Spatioterminological Reasoning with Description Logics

8 years 7 months ago
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.
Volker Haarslev, Carsten Lutz, Ralf Möller
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where KR
Authors Volker Haarslev, Carsten Lutz, Ralf Möller
Comments (0)
books