Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)
Publications
1998
V. Haarslev, Carsten Lutz, and R. Möller.
Foundations of Spatioterminological Reasoning with Description Logics.
In S.C.Shapiro G. Cohn, L.K. Schubert, editor, Principles of Knowledge
Representation and Reasoning: Proceedings of the Sixth International
Conference (KR'98), pages 112–123. Morgan-Kaufmann, 1998.
Bibtex entry Paper (PDF)
Abstract
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 de ne 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.
V. Haarslev, R. Möller, and Anni-Yasmin Turhan.
HAM-ALC - Performance Measurements.
In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June
8, Trento, Italy, pages 64–65, 1998.
Bibtex entry Paper (PDF)
Abstract
The tests were performed using HAM-ALC version 1.1. HAM-ALC [2] is a description logic classi er which has been constructed for providing a basis for an optimized ALCRP(D) [1] implementation. Based on a sound and complete tableau algorithm HAM-ALC currently implements a true ABox reasoner for the logic ALC. HAM-ALC employs a few optimizations inspired by FaCT [3], in particular semantic branching and a form of dependency-directed backtracking called backjumping (see [3]).
V. Haarslev, R. Möller, and Anni-Yasmin Turhan.
Implementing an ALCRP(D) ABox Reasoner - Progress Report -.
In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June
8, Trento, Italy, pages 82–86, 1998.
Bibtex entry Paper (PDF)
Abstract
This paper presents a progress report on the implementation
of an ALCRP(D) ABox reasoner and a knowledge
representation framework. We present an ALC ABox
reasoner which has been constructed for providing a basis for
an optimized ALCRP(D) implementation. We compare the
implementation with the concept consistency reasoner FaCT
which sets the standard in current DL implementations.
Th. Mantay and R. Möller.
Content-Based Information Retrieval by Computation of Least Common
Subsumers in a Probabilistic Description Logic.
In Proc. International Workshop on Intelligent Information Integration,
ECAI'98, Aug. 23-28, Brighton UK, 1998,, 1998.
Bibtex entry Paper (PDF)
Abstract
Due to the constantly growing number of information sources, intelligent
information retrieval becomes a more and more important task. We model information sources by description logic (DL) terminologies. The commonalities of user-speci ed examples can be computed by the least common subsumer (LCS) operator. However, in some cases this operator delivers too general results. In this article we solve this problem by presenting a probabilistic extension of the LCS operator for a probabilistic description logic. By computing gradual commonalities between description logic concepts, this operator serves as a crucial means for content-based information retrieval for all kinds of information sources. We also describe an extension of our operator to consider unwanted information. The probabilistic LCS can be applied for information retrieval in a scenario of multiple information sources.
R. Möller.
HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur
systematischen Entwicklung von Benutzungsschnittstellen.
In usgezeichnete Informatikdissertationen 1996, Reihe
Dissertationspreise Gesellschaft fuer Informatik, pages 62–78. Teubner
Verlag, 1998.
Bibtex entry Paper (PDF)
Abstract
Im Bereich der Gesch{\"a}ftsweltmodellierung hat sich die explizite Modellierung von innerbetrieblichen Vorg{\"a}ngen und auch von Handlungen der an Arbeitsprozessen beteiligten Personen als notwendige Ma{\ss}nahme zur Gew{\"a}hrleistung einer systematischen und kosteneffektiven Unterst{\"a}tzung der Arbeitsprozesse durch Computersysteme erwiesen (Stichwort "Workflow"). Auch im Bereich der ingenieurorientierten Konstruktionssysteme wird m.E. in naher Zukunft ein solches integriertes Vorgehen wichtig werden. Anstatt einzelne Konstrukteure mit speziellen CAD-Programmen arbeiten zu lassen, wird sich auch hier eine integrierte Produktdaten- und Aktivit{\"a}tenmodellierung durchsetzen. Im Rahmen der Einbettung einer speziellen Konstruktionsaufgabe in einen Gesamtkontext bietet es sich an, einem Konstrukteur in einem CAD-System nicht eine leere "Werkbank" zu pr{\"a}sentieren, sondern eine f{\"u}r die jeweilige Arbeitsaufgabe passende Interaktionsumgebung bereitzustellen, mit der eine bestimmte Teilaufgabe ad{\"a}quat gel{\"o}st werden kann. Eine wichtige Rolle spielen in diesem Zusammenhang interaktive Visualisierungen, d.h. Graphiken oder Skizzen, mit denen durch graphische Interaktion eine bestimmte Aufgabe bearbeitet werden kann. Insbesondere die systematische Herleitung von bez{\"u}glich einer bestimmten Aufgabenstellung angemessenen Visualisierungsbestandteilen aus dem Objektmodell einer Anwendung ist in diesem Kontext ein wichtiger Gesichtspunkt.
Diese Arbeit definiert mit HAMVIS (HAMburger VISualisierungssystem) die Konzeption eines Rahmensystems zur methodischen Entwicklung von aufgabenorientierten, interaktiven Visualisierungen f{\"u}r Benutzungsoberfl{\"a}chen f{\"u}r Endanwender (und nicht zur Anwendungsmodellierung selbst). Das Problem bei der Definition eines Rahmensystems dieser Art besteht darin, geeignete Teilprobleme zu definieren und so zu l{\"o}sen, da§ am Ende die Teill{\"o}sungen und die jeweils zur Probleml{\"o}sung verwendeten Verfahren mit ihren jeweiligen Begriffsbildungen nahtlos ineinandergreifen, so da{\ss} bei der Entwicklung einer Anwendung mit einer interaktiven Oberfl{\"a}che vielf{\"a}ltige Entwurfsentscheidungen koordiniert werden k{\"o}nnen.
R. Möller.
User Interface Development Environments – The CLIM Perspective.
Technical report, University of Hamburg, Computer Science Department, 1998.
Unpublished Manuscript.
Bibtex entry Paper (PDF)
R. Möller, V. Haarslev, and B. Neumann.
Semantics-Based Information Retrieval.
In Proc. IT&KNOWS-98: International Conference on Information Technology
and Knowledge Systems, 31. August- 4. September, Vienna, Budapest, pages
49–6, 1998.
Bibtex entry Paper (PDF)
Abstract
In this paper we investigate the use of conceptual descriptions based on description logics for content-based information retrieval and present several innovative contributions. We provide a query-byexamples retrieval framework which avoids the drawback of a sophisticated query language. We extend an existing DL to deal with spatial concepts. We provide a content-based similarity measure based on the least common subsumer which extracts conceptual similarities of examples.