Sciweavers

DLOG
1997
13 years 8 months ago
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...
Volker Haarslev, Ralf Möller
KR
1998
Springer
13 years 11 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 abou...
Volker Haarslev, Carsten Lutz, Ralf Möller