Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)
Publications
2007
F. Baader, R. Bernardi, D. Calvanese, A. Calì, B. Cuenca Grau, M. Garcia,
G. De Giacomo, A. Kaplunova, O. Kutz, D. Lembo, M. Lenzerini, L. Lubyte,
C. Lutz, M. Milicic, R. Möller, B. Parsia, R. Rosati, U. Sattler,
B. Sertkaya, S. Tessaris, C. Thorne, and A.-Y. Turhan.
D13: Techniques for Ontology Design and Maintenance.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
The purpose of the current deliverable is to summarize the techniques that realize
the reasoning services identified as fundamental for ontology design and maintenance,
and to report on their computational properties. In particular, we concentrate on novel
techniques and results that have been developed within the TONES project.
T. Berger, A. Kaplunova, A. Kaya, and R. Möller.
Towards a Scalable and Efficient Middleware for Instance Retrieval
Inference Services.
In International Workshop on OWL: Experiences and Directions (OWLED
2007), 2007.
Bibtex entry Paper (PDF)
Abstract
We argue for the usefulness of convenient optimization criteria, when building scalable and efficient instance retrieval inference services for ontology-based applications. We discuss several optimization criteria, especially a dedicated load balancing strategy, evaluate the approach with practical experiments on a particular implementation and present results.
D. Calvanese, P. Dongilli, G. De Giacomo, A. Kaplunova, D. Lembo, M. Lenzerini,
R. Möller, R. Rosati, S. Tessaris, M. Wessel, and I. Zorzi.
D21: Software Tools for Ontology Access, Processing, and Usage.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
D. Calvanese, G. De Giacomo, B. Glimm, B. C. Grau, V. Haarslev, I. Horrocks,
A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, M. Milicic, R. Möller,
R. Rosati, U. Sattler, and M. Wessel.
D18: Techniques for Ontology Access, Processing, and Usage.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
This report summarizes the reasoning techniques and algorithms developed in the TONES project that realize the reasoning services identified as fundamental for ontology-based access, processing, and usage. In addition to a detailed presentation of the algorithms, we report on their computational properties and investigate solutions for the expressivity and data scalability problems.
D. Calvanese, G. De Giacomo, B. C. Grau, A. Kaplunova, D. Lembo, M. Lenzerini,
R. Möller, R. Rosati, U. Sattler, B. Sertkaya, B. Suntisrivaraporn,
S. Tessaris, A.-Y. Turhan, and S. Wandelt.
D14: Ontology-Based Services: Usage Scenarios and Test Ontologies.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
In this deliverable we define a number of usage scenarios for tasks that have to be solved during the whole life-cycle of ontologies. The detailed description of these tasks relevant for, e.g., ontology design, maintenance, access, usage, interoperation were already provided in previous deliverables. Now, we investigate the combination of various elementary tasks for the above-mentioned processes, and we analyze the interplay of corresponding reasoning services. We integrate and apply task-specific reasoning techniques to a set of test ontologies. The selection of test ontologies and their specific purposes is presented in this report.
D. Calvanese, B. Cuenca Grau, E. Franconi, I. Horrocks, A. Kaplunova, C. Lutz,
R. Möller, B. Sertkaya, S. Tessaris, and A.-Y. Turhan.
D15: Software Tools for Ontology Design and Maintenance.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
This document accompanies the software deliverable D15 (Software Tools for Ontology
Design and Maintenance) of the TONES project, providing an overview of the delivered
software packages along with some basic information on how to install and run them. The delivered software tools are implementations of the techniques described in deliverable D13, usually enriched with optimization techniques in order to make them more
efficient. In this document, we focus on describing the relevance of the delivered tools for ontology design and maintenance. The contributions of the delivered tools to other workpackages will be the subject of later documents.
S. Castano, S. Espinosa, A. Ferrara, V. Karkaletsis, A. Kaya, S. Melzer,
R. Möller, and G. Petasis.
Ontology Dynamics with Multimedia Information: The BOEMIE Evolution
Methodology.
In International Workshop on Ontology Dynamics, 2007.
Bibtex entry Paper (PDF)
Abstract
In this paper, we present the ontology evolution methodology developed
in the context of the BOEMIE project. Ontology evolution in BOEMIE
relies on the results obtained through reasoning for the interpretation of multimedia
resources in order to evolve (enhance) the ontology, through population
of the ontology with new instances, or through enrichment of the ontology with
new concepts and new semantic relations.
S. Espinosa, V. Haarslev, A. Kaplunova, A. Kaya, S. Melzer, R. Möller, and
M. Wessel.
Reasoning Engine Version 1 and State of the Art in Reasoning
Techniques.
Technical report, Hamburg University Of Technology, 2007.
BOEMIE Project Deliverable D4.2.
Bibtex entry Paper (PDF)
S. Espinosa, A. Kaya, S. Melzer, R. Möller, T. Näth, and M. Wessel.
Reasoning Engine Version 2.
Technical report, Hamburg University Of Technology, 2007.
BOEMIE Project Deliverable D4.5.
Bibtex entry Paper (PDF)
M. Garcia and R. Möller.
Certification of Transformations Algorithms in Model-Driven Software
Development.
In W.-G. Bleek, J. Räsch, and H. Züllighoven, editors, Software
Engineering 2007, volume 105 of GI-Edition Lecture Notes in
Informatics, pages 107–118, 2007.
Bibtex entry Paper (PDF)
Abstract
@INPROCEEDINGS{GaMo07,
author = {M. Garcia and R. M{\"o}ller},
title = {Certification of Transformations Algorithms in Model-Driven Software Development},
year = {2007},
pages = {107--118},
editor = {W.-G. Bleek and J. R{\"a}sch and H. Z{\"u}llighoven},
booktitle = {Software Engineering 2007},
volume = {105},
series = {GI-Edition Lecture Notes in Informatics},
}
Miguel Garcia, Alissa Kaplunova, and Ralf Möller.
Model Generation in Description Logics: What Can We Learn From Software
Engineering?.
Technical report, Institute for Software Systems (STS), Hamburg University of
Technology, Germany, 2007.
See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry Paper (PDF)
Abstract
This report describes the results of practical and theoretical investigations for developing representation systems which support the construction of declarative models, which can be checked for consistency and which can be used as the basis for problem solving processes in different application contexts. The report is structured into four parts, each with its own set of references in order to provide an overview on the state of the art for each of the areas covered. First, in Part 1, we describe research results about expressive description logics, then, in Part 2, optimization techniques for instance retrieval are discussed in the context of grounded conjunctive queries. Afterwards, in Part 3, the expressivity of the query language is enhanced in order to provide a combination of spatial and ontological reasoning. In the last part, we focus on a middleware architecture to provide efficient and scalable reasoning systems for large-scale applications.
G. De Giacomo, E. Franconi, B. Cuenca Grau, V. Haarslev, A. Kaplunova, A. Kaya,
D. Lembo, C. Lutz, M. Milicic, R. Möller, U. Sattler, B. Sertkaya,
B. Suntisrivaraporn, A.-Y. Turhan, S. Wandelt, and M. Wessel.
D23: Analysis of Test Results on Individual Test Ontologies.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
A. Kaplunova, R. Möller, and M. Wessel.
Leveraging the Expressivity of Grounded Conjunctive Query Languages.
In Proc. International Workshop on Scalable Semantic Web Systems, 2007.
Bibtex entry Paper (PDF)
Alissa Kaplunova and Ralf Möller.
Probabilistic LCS in a P-Classic Implementation.
Technical report, Institute for Software Systems (STS), Hamburg University of
Technology, Germany, 2007.
See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry Paper
(PDF)
Abstract
In this report, we describe investigations made in the context of user-adaptive in-
formation systems. We verify the idea of combining two formalisms: description logics
(DLs) and Bayesian networks in order to increase the effectiveness of information re-
trieval. For this, we implemented the basic functionality of P-Classic which extends
the DL Classic with probabilistic inferences. In P-Classic, the degree of concept
subsumptions can be quantitatively expressed as a statistical value. We use this feature
for the definition of the PLCS operator, a probabilistic "Least Common Subsumer"
operator which allows for quantitative measure of concept overlap, and we show how
this operator can improve the quality of information retrieval.
The software package including the prototypical implementation of P-Classic in
Common Lisp can be obtained from http://www.sts.tu- harburg.de/~r.f.moeller/band/
pclassic.zip.
B. Neumann and R. Möller.
On Scene Interpretation with Description Logics.
Image and Vision Computing, Special Issue on Cognitive Vision, 2007.
to appear.
Bibtex entry Paper (PDF)
S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel.
Multimedia Interpretation as Abduction.
In Proc. DL-2007: International Workshop on Description Logics, 2007.
Bibtex entry Paper (PDF)
Abstract
In this work we present an approach to interpret information extracted from multimedia documents through Abox abduction, which we consider as a new type of non-standard retrieval inference service in Description Logics (DLs). We discuss how abduction can be adopted to interpret multimedia content through explanations. In particular, we present a framework to generate explanations, and introduce a preference measure for selecting "preferred" explanations.
S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel.
Towards a Media Interpretation Framework for the Semantic Web.
In Janusz Kacprzyk Rajeev Motwani Andrei Broder Howard Ho Tsau Young
(T.Y.) Lin, Laura Haas, editor, Proc. of the 2007 IEEE/WIC/ACM
International Conference on Web Intelligence (WI`07), number 1331876,
pages 374–380. IEEE Computer Society, OPTnote = , OPTannote = , 2007.
Bibtex entry Paper (PDF)
Abstract
We present a framework for media interpretation that leverages low-level information extraction to a higher level of abstraction in order to support semantics-based information retrieval for the Semantic Web. The overall goal of the framework is to provide high-level content descriptions of documents for maximizing precision and recall of semantics-based information retrieval.\footnote{This work was partially supported by the EU-funded projects BOEMIE (Bootstrapping Ontology Evolution with Multimedia Information Extraction, IST-FP6-027538) and TONES (Thinking ONtologiES, FET-FP6-7603).}
C. Schultz and R. Möller.
Quantifier Elimination of Real Closed Fields in the Context of Applied
Description Logic.
Verlag Dr. Müller, 2007.
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 a description logic system 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 a description logic system. We also shortly describe how initial application examples are handled with the prototype implementation.
S. Wandelt and R. Möller.
Scalability of OWL Reasoning: Role condensates.
In Proc. International Workshop on Scalable Semantic Web Systems, 2007.
Bibtex entry Paper (PDF)
Abstract
In the last years, there has been an increasing interest in
the performance of reasoning on the Semantic Web in presence of large
ABoxes. Traditional reasoners make heavily use of in-memory structures
and are therefore not suitable to deal with large ABoxes directly.
We propose an approach that, informally speaking, works on a composite
representation of the role-part of a SHIQ knowledge base. With respect to
conjunctive queries, this helps us to provide a kind of proxy that restricts
the set of possible bindings for a variable in advance. Furthermore we
can use this proxy to reject several queries with no answer substitution
immediately. Most notably our approach is query independent.
M. Wessel and R. Möller.
Design Principles and Realization Techniques for User Friendly,
Interactive, and Scalable Ontology Browsing and Inspection Tools.
In International Workshop on OWL: Experiences and Directions (OWLED
2007), 2007.
Bibtex entry Paper (PDF)
Abstract
RacerPorter is the default GUI client of the RacerPro description logic system. This paper presents the design principles of RacerPorter as well as the features of the newest version of RacerPorter. RacerPorter has been revised extensively in order to enable it to work with large ontologies (e.g., OpenCyc).
M. Wessel and R. Möller.
Flexible Software Architectures for Ontology-Based Information Systems.
Journal of Applied Logic, Special Issue on Emperically Sucessful Systems
(2007), 2007.
to appear.
Bibtex entry Paper (PDF)
Abstract
Although nowadays powerful Semantic Web toolkits exist, these frameworks are still hard to apply for designing applications, since they often focus on fixed representation structures and languages. Prominent examples for applications using Semantic Web representation languages are ontology-based information systems. In search of a more flexible software technology for implementing systems of this kind, we have developed a framework-based approach which is influenced by Description Logics but also supports the integration of reasoning facilities for other formalisms. We claim -- and support that claim using case studies -- that our framework can cover regions in the system design space instead of just isolated points. The main insights gained with this framework are presented in the context of ontology-based query answering as part of a geographical information system.