Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)
Publications
2005
J. Galinski, A. Kaya, and R. Möller.
Development of a server to support the formal semantic web query language
OWL-QL.
In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International
Workshop on Description Logics, 2005.
Bibtex entry Paper (PDF)
V. Haarslev, R. Möller, and M. Wessel.
Description Logic Inference Technology: Lessons Learned in the
Trenches.
In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International
Workshop on Description Logics, 2005.
Bibtex entry Paper (PDF)
Abstract
Optimized description logic systems are now available for quite a long time.
Whereas initially, to a large extent only T-box reasoning was used in applications, now more and more applications also rely on A-box reasoning. In this article we summarize our experiences with the description logic reasoner Racer and perform an evaluation of the system with respect to instance retrieval benchmarks. In addition, we report on our experiences with two years of user support for OWL knowledge base development and usage. The article provides an overview over the state of the art in description logic inference technology and derives suggestions for future developments.
C. Schultz and R. Möller.
Quantifier Elimination over Real Closed Fields in the Context of Applied
Description Logics.
Technical Report FBI-HH-M-333/05, University of Hamburg, Computer Science
Department, 2005.
Bibtex entry Paper (PDF)
Abstract
This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of the description logic system Racer to support a default concrete domain for non-linear multivariate equations and inequations. In this report we provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equations is satisfiable (quantifier elimination problem). In addition, the report describes the interface to a prototype implementation for complex numbers (rather than the reals) provided by Racer. We also shortly describe how initial application examples are handled with the prototype implementation.
M. Wessel and R. Möller.
A High Performance Semantic Web Query Answering Engine.
In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International
Workshop on Description Logics, 2005.
Bibtex entry Paper (PDF)
Abstract
We present an (extensively revised) semantic web query language called
nRQL as well as a working high performance implementation of this language
in the RacerPro system. We present the features of this query
answering engine.