Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)


Publications


1997


V. Haarslev and R. Möller. SBox: A Qualitative Spatial Reasoner -Progress Report-. In Proceedings, 11th International Workshop on Qualitative Reasoning, L. Ironi, editor, Cortona, Tuscany, Italy, June 3-6, 1997, Pubblicazioni N. 1036, Istituto di Analisi Numerica C.N.R. Pavia (Italy), pages 105–113, 1997.
Bibtex entry  Paper (PDF)

Abstract

The paper presents a method for reasoning about spatial objects and their qualitative spatial relationships (e.g. touches, overlaps etc.) on the basis of a description logic framework. We apply this method to the domain of deductive geographic information systems. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning by extending description logics with a space box reasoner which is inspired by an extension to description logics called "concrete domains.'' With the space box reasoner presented in this paper it is possible to combine qualitative spatial reasoning and description logic classification processes.


L. Hotz, H. Milde, R. Möller, and Bernd Neumann. Using Behavior Deviations and an Interval-Based Calculus for Modeling Electronic Circuits. In Proc. Workshop der Fachgruppe Modellbasiertes und Qualitatives Schließen, 1997. also published as LKI-Memo No. 97/1, 1997.
Bibtex entry  Paper (PDF)

Abstract

The paper introduces an approach for modeling and simulating a technical device for diagnostic purposes. A resistive network is used as a component-oriented device model which is automatically transformed into a simulation model that explicitly represents the global topological structure of the circuit. The simulation model is based on qualitative descriptions of behavior deviations and supports an interval-based qualitative calculus for reasoning about deviations.


R. Möller. HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen. Infix-Verlag, 1997.
Bibtex entry  Abstract

Abstract

Abstract


Acknowledgments
Generated at Mo 3 Feb 2014 11:21:22 CET.