Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)
V. Haarslev, R. Möller, and C. Schröder.
Combining Spatial and Terminological Reasoning.
In B. Nebel and L. Dreschler-Fischer, editors, Proc. KI-94: Advances in
Artificial Intelligence, Saarbrücken, volume 861 of Lecture Notes
in Artificial Intelligence, pages 145–153. Springer-Verlag, 1994.
Bibtex entry Paper (PDF)
AbstractThe paper presents a method for terminological reasoning about spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geographic informations systems and parsing of visual languages. In constrast to existing work, which mainly focusses on reasoning about qualitative spatial relations, we integrate quantitative information with conceptual or terminological reasoning by the use of "generative" qualitative relations. These relations allow a modularization of systems for terminological reasoning and domain-specific storage and indexing of, e.g., spatial data. Qualitative relations are computed on demand from quantitative data during forward-chaining assertional reasoning.