Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)
Publications
1999
Proceedings of the International Workshop on Description Logics,
Linkoeping, Sweden, 1999.
Electronically available as CEUR Workshop Proceedings Volume 22.
Bibtex entry Paper (PDF)
V. Haarslev, C. Lutz, and R. Möller.
A Description Logic with Concrete Domains and a Role-forming Predicate
Operator.
Journal of Logic and Computation, 9(3):351–384, 1999.
Bibtex entry Paper (PDF)
Abstract
This article presents the description logic ALCRP(D) with concrete domains and a roleforming predicate operator as its prominent aspects. We demonstrate the feasibility of ALCRP(D) for reasoning about spatial objects and their qualitative spatial relationships and provide an appropriate concrete domain for spatial objects. The general signi cance of ALCRP(D) is demonstrated by adding temporal reasoning to spatial and terminological reasoning using a combined concrete domain. The theory is motivated as a basis for knowledge representation and query processing in the domain of geographic information systems. In contrast to existing work in this domain, which mainly focuses either on conceptual reasoning or on reasoning about qualitative spatial relations, we integrate reasoning about spatialinformation with terminological reasoning.
V. Haarslev and R. Möller.
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.
In Neil Murray, editor, Proc. of TABLEAUX'99, The 6th International
Conference on Theorem Proving with Analytic Tableaux andĘ Related Methods,
Saratoga Springs, NY/USA, number 1617 in Lecture Notes in Artificial
Intelligence, pages 24–28. Springer-Verlag, June 1999.
Bibtex entry Paper (PDF)
Abstract
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
V. Haarslev and R. Möller.
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in
Expressive Description Logics.
In roc. of DL99, International Workshop on Description Logics,
Linköping, pages 115–119, 1999.
Bibtex entry Paper (PDF)
Abstract
This paper presents an evaluation of a new description logic reasoner called RACE which implements TBox and ABox reasoning for the description logic ALCNHR+ supporting number restrictions, role hierarchies, and transitively closed roles. Tests on benchmark ABoxes indicate a speedup of several orders of magnitude compared to previous systems.
V. Haarslev and R. Möller.
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and
Transitively Closed Roles.
Technical report, University of Hamburg, Computer Science Department, Oct.
1999.
Bibtex entry Paper (PDF)
Abstract
We present a new tableaux calculus deciding the ABox consistency
problem for the expressive description logic ALCNHR+. Prominent
language features of ALCNHR+ are number restrictions, role hierarchies,
transitively closed roles, and generalized concept inclusions.
The ABox description logic system RACE [Haarslev et al., 1999] is
based on the calculus for ALCNHR+.
An older version of this report appears in: Proceedings of Seventh
International Conference on Principles of Knowledge Representation
and Reasoning (KR2000), Fausto Giunchiglia and Bart Selman (eds),
Breckenridge, Colorado, USA, 12-15 April 2000.
V. Haarslev and R. Möller.
RACE System Description.
In Proc. of DL99, International Workshop on Description Logics,
Linköping, pages 130–132, 1999.
Bibtex entry Paper (PDF)
V. Haarslev, R. Möller, and A.-Y. Turhan.
RACE User's Guide and Reference Manual Version 1.1.
Technical report, University of Hamburg,Computer Science Department, 1999.
Bibtex entry Abstract
Abstract
This user's guide and reference manual introduces the description logic system RACE (Reasoner for Aboxes and Concept Expressions). RACE is a highly optimized ABox reasoner for the expressive description logic ALCNHR+.
V. Haarslev, R. Möller, and M. Wessel.
On Specifying Semantics of Visual Spatial Query Languages.
In Proceedings of the 15th IEEE Symposium on Visual Languages 1999, Sept.
13-16, Tokyo, Japan, pages 4–11. IEEE Press, 1999.
Bibtex entry Paper (PDF)
Abstract
We present a first treatment dealing with semantics of visual spatial query languages for GIS using a suitable description logic. This decidable space logic is described and its usefulness for GIS exemplified. The logic supports the specification of semantics, reasoning about query subsumption and about applying default knowledge.
V. Haarslev, R. Möller, M. Wessel, and A.Y. Turhan.
On Terminological Default Reasoning about Spatial Information: Extended
Abstract.
In Proc. of DL99, International Workshop on Description Logics,
Linköping, pages 155–159, 1999.
Bibtex entry Paper (PDF)
Abstract
We extend the theory about terminological default reasoning using a logical base language that can be used to represent spatioterminological phenomena. Based on the description logic ALCRP(S2) the paper discusses how to implement an algorithm for computing extensions of a world description consisting of ALCRP(S2) assertions and a set of closed ALCRP(S2) Reiter-style default rules.
Th. Mantay, R. Möller, and A. Kaplunova.
Computing Probabilistic Least Common Subsumers in Description Logics.
In Proceedings KI-99, 23. Deutsche Jahrestagung für Künstliche
Intelligenz, pages 89–100. Springer-Verlag, 1999.
Bibtex entry Paper (PDF)
Abstract
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, it can, for instance, be used for similarity-based information retrieval where information retrieval is performed on the basis of the similarities of user-specified examples. In this article, we first show that, for crisp DLs, in certain cases the set of retrieved information items can be too large. Then we propose a probabilistic least common subsumer operation based on a probabilistic extension of the description logic language ALN. We show that by this operator the amount of retrieved data can be reduced avoiding information flood.
R. Möller, K. Hidde, R. Joswig, Th. Mantay, and B. Neumann.
Bericht über das Projekt BAND: Benutzeradaptiver
Netzinformationsdienst.
Technical Report LKI-Memo LKI-M-99/01, Labor für Künstliche
Intelligenz, Fachbereich Informatik, Universität Hamburg, 1999.
Bibtex entry Paper (PDF)
Abstract
In dem Projekt BAND wurden Grundlagen zur Entwicklung benutzeradaptiver Netz-Informationsdienste am Beispiel eines "TV-Assistenten" entwickelt. Zugriffs und Pr{\"a}sentationstechniken f{\"u}r Netzinformationen werden durch wissensbasierte Techniken dynamisch an die Bed{\"u}rfnisse eines Benutzers angepa{\ss}t. Die erreichten Ergebnisse wurden anhand einer prototypischen Implementation des TV-Assistenten evaluiert.
R. Möller, B. Neumann, and M. Wessel.
Towards Computer Vision with Description Logics: Some Recent Progress.
In Proceedings Integration of Speech and Image Understanding, Corfu,
Greece, pages 101–115, 1999.
Bibtex entry Paper (PDF)
Abstract
A description logic (DL) is a knowledge representation formalism which may provide interesting inference services for diverse application areas. This paper first gives an overview of the benefits which a DL may provide for Computer Vision. The main body of the paper presents recent work at Hamburg University on extending DLs to handle spatial reasoning and default reasoning.
R. Möller and M. Wessel.
Terminological Default Reasoning about Spatial Information: A First
Step.
In Proc. of COSIT'99, International Conference on Spatial Information
Theory, Stade, pages 189–204. Springer-Verlag, 1999.
Bibtex entry Paper (PDF)
Abstract
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic language called ALCRP(S2), which is briefly introduced, we discuss algorithms for computing so-called extensions (``possible worlds'') of a world description and a set of defaults. We conclude with an application of the theory to problems in visual query systems and demonstrate the signi cance of the theory for spatioterminological reasoning in general and spatioterminological default reasoning in particular.