Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)
Publications
2009
S. Espinosa, A. Kaya, and R. Möller.
The BOEMIE Semantic Browser: A Semantic Application Exploiting Rich
Semantic Metadata.
In Proceedings of the Applications of Semantic Technologies Workshop
(AST-2009), Lübeck, Germany, 2009.
Bibtex entry Paper (PDF)
Abstract
In previous work, we exploited simple ontology-based event recognition with DLs.
The work reported here improves this initial approach by providing additional pragmatic
solutions for DL-based event recognition, solving some of the scalability issues.
Besides formalizing the event recognition problem,we reflect on a set of modeling alternatives
and give some practical guidances. Although the method has been implemented
using RACERPRO, the identified problems generalize to all DL and OWL systems.
S. Espinosa, A. Kaya, and R. Möller.
Formalizing Multimedia Interpretation based on Abduction over Description
Logic Aboxes.
In Proc. of the 2009 International Workshop on Description Logics DL- 2009,
27 to 30 July 2009, Oxford, United Kingdom, 2009.
CEUR Workshop Proceedings (Vol. 477).
Bibtex entry Paper (PDF)
Abstract
The paper describes how interpretations of multimedia documents
can be formally derived using abduction over domain knowledge
represented in an ontology. The approach uses an expressive ontology
specification language, namely description logics in combination with
logic programming rules, and formalizes the multimedia interpretation
process using a combined abduction and deduction operation. We describe
how the observables as well as the space of abducibles can be
formally defined. The approach is evaluated using examples from text
processing, but can also be applied to interpret content in other modalities.
J. Faddoul, V. Haarslev, and R. Möller.
Algebraic Tableau Algorithm for ALCOQ.
In Proc. of the 2009 International Workshop on Description Logics DL- 2009,
27 to 30 July 2009, Oxford, United Kingdom, 2009.
CEUR Workshop Proceedings (Vol. 477).
Bibtex entry Paper (PDF)
O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld.
Basic reasoning engine: Report on optimization techniques for first-order
probabilistic reasoning.
Technical report, Hamburg University of Technology, 2009.
Bibtex entry Paper (PDF)
Abstract
The report describes the basic probabilistic reasoning engine for multimedia interpretation (RMI).
We introduce the conceptual architecture and explain its basic components. Optimization techniques
for implementing specific tasks are identfied, and we explain how the architecture is implemented
based on modules such as Alchemy and RacerPro. Interfaces are brie
y introduced, and the efficiency of the engine as well as the quality of the results is evaluated.
O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld.
CASAM Domain Ontology.
Technical report, Hamburg University of Technology, 2009.
Bibtex entry Paper (PDF)
Abstract
This report describes the rst version of the CASAM domain ontology, and documents the design
decisions behind it. In particular, the report identies patterns which will guide the development
of future parts of the ontology such that media information extraction can be formalized using
ontologies (and probabilistic ontologies in the future).
O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld.
Formalisms Supporting First-order Probabilistic Structures.
Technical report, Hamburg University of Technology, 2009.
Bibtex entry Paper (PDF)
Abstract
This report describes major approaches for rst-order probabilistic knowledge representation and
reasoning. It focuses on approaches with an underlying formal semantics. We analyse the pros and
cons of each approach and derive requirements for a representational formalism to be developed in
order to meet the knowledge representation and reasoning issues in CASAM.
R. Möller and V. Haarslev.
Tableaux-based Reasoning.
In S. Staab and R. Studer, editors, Handbook of Ontologies, pages
509–528. Springer, 2009.
Bibtex entry Paper (PDF)
Abstract
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of multiple parts and constrained primarily by temporal and spatial relations can be used to represent high-level concepts such as object configurations, occurrences, events and episodes. Scene interpretation is modelled as a stepwise process which exploits the taxonomical and compositional relations between aggregate concepts while incorporating visual evidence and contextual information. It is shown that aggregates can be represented by concept expressions of a Description Logic which provides feature chains and a concrete domain extension for quantitative temporal and spatial constraints. Reasoning services of the DL system can be used as building blocks for the interpretation process, but additional information is required to generate preferred interpretations. A probabilistic model is sketched which can be integrated with the knowledge-based framework.
S. Wandelt and R. Möller.
Updatable Island Reasoning over ALCHI Ontologies.
In Conference on Knowledge Engineering and Ontology Development (KEOD),
2009.
CEUR Workshop Proceedings (Vol. 477).
Bibtex entry Paper (PDF)
Abstract
In the last years, the vision of the Semantic Web fostered the interest in reasoning over ever larger sets of
assertional statements in ontologies. It is easily conjectured that, soon, real-world ontologies will not fit into
main memory anymore. If this was the case, state-of-the-art description logic reasoning systems cannot deal
with these ontologies any longer, since they rely on in-memory structures.
We propose a way to overcome this problem by reducing instance checking for an individual in an ontology to
a (usually small) relevant subsets of assertional axioms. These subsets are computed based on a partitioningcriteria. We propose a way to preserve the partitions while updating an ontology and thus enable stream like
reasoning for description logic ontologies. We think that this technique can support description logic systems
to deal with the upcoming large amounts of fluctuant assertional data.
M. Wessel, M. Luther, and R. Möller.
What Happened to Bob? Semantic Data Mining of Context Histories.
In Proc. of the 2009 International Workshop on Description Logics DL- 2009,
27 to 30 July 2009, Oxford, United Kingdom, 2009.
CEUR Workshop Proceedings (Vol. 477).
Bibtex entry Paper (PDF)