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

Publications

2002

G. Görz, V. Haarslev, C. Lutz, and R. Möller, editors. ADL-2002: KI-2002 Workshop on Applications of Description Logics, 2002.
Bibtex entry Paper (PDF)

V. Haarslev and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 83–90, 2002.
Bibtex entry

V. Haarslev and R. Möller. Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 91–98, 2002.
Bibtex entry Paper (PDF)

Abstract

We introduce the very expressive description logic ALCQHIR+(D)? providing a limited support for concrete domains. The description logic system RACER supports TBox and ABox reasoning for ALCQHIR+(D)? using a default concrete domain for linear inequations. The adaptation of several important optimization techniques is presented. We conclude the paper with a Þrst proposal for extending ALCQHIR+(D)? by a restricted form of feature chains.

A. Kaplunova, V. Haarslev, and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 45–52, 2002.
Bibtex entry

R. Möller. Grundlagen für Anwendungen: Ausdrucksstarke Beschreibungslogiken. Auditorium, Jahresschrift 2001, Fachhochschule Wedel, Univ. of Applied Sciences, 2001.
Bibtex entry Paper (PDF)

Acknowledgments

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