Prof. Dr. Ralf Möller
Software, Technology and Systems Group (STS),
Hamburg University of Technology (TUHH)
Publications
1996
H. Lange, R. Möller, and Bernd Neumann.
Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning
about Measurements is the Key.
In St. Hölldobler G. Görz, editor, Proc. KI'96, Dresden, pages
213–226, September 1996.
Bibtex entry Paper (PDF)
Abstract
The main thesis of this paper is that reasoning about measurements can be used as a basic mechanism for generating test plans for analogical circuits. Motivated by an application scenario, reasoning about measurements incorporates domain knowledge about testing conditions, local behavior of circuit components (fault modes covered by measurements) and the topological structure of the circuit to be tested. With the test generation architecture introduced in this paper, a combinatorial explosion which is problematic in model-based test generation approaches can be avoided.
R. Möller.
A Functional Layer for Description Logics: Knowledge Representation Meets
Object-Oriented Programming.
In Proc. OOPSLA'96 Object-Oriented Programming, Systems, Languages, and
Applications, San Jose, 1996.
Bibtex entry Paper (PDF)
Abstract
The paper motivates the facilities provided by Description Logics in an object-oriented programming scenario. It presents a unification approach of Description Logics and object-oriented programming that allows both views to be conveniently used for different subproblems in a modern software-engineering environment. The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies must be realized.
R. Möller.
Knowledge-Based Dialog Structuring for Graphics Interaction.
In Proc. ECAI'96 European Conference on Artificial Intelligence, Budapest,
Hungary, 1996.
Bibtex entry Paper (PDF)
R. Möller.
Reasoning about Domain Knowledge and User Actions for Interactive Systems
Development.
Chapman & Hall, 1996.
Bibtex entry Paper (PDF)
Abstract
In this paper, an approach to specify interactive systems by modeling user actions and domain knowledge is presented. It is shown how Description Logics can be used to formally deduce action concepts at system development time when only incomplete conceptual descriptions of manipulated domain objects are known. We will discuss how types of parameters and values of application functions will be constrained by concepts for user actions which are either automatically derived or interactively selected by the UI designer.
R. Möller, C. Schröder, and R. Carsten Lutz.
Analyzing configuration systems with description logics: A case study.
Technical report, University of Hamburg, Computer Science Department, 1996.
Bibtex entry Paper (PDF)
Abstract
In this contribution we argue that the methods of formal knowledge representation, especially description logics, first, are valuable tools for analyzing existing configuration systems and open problems in configuration systems research, second, should be used by developers in order to make clear statements about the performance of their systems, and third, can even directly be used for building practical systems. As a case study we analyze two languages dealing with knowledge-based configuration in technical domains. The paper demonstrates that specialized languages (e.g. object-oriented languages developed for configuration problems) can be interpreted as a special purpose description logic. It is demonstrated that the construction or configuration process can be ÒsimulatedÓ by a modelconstructing satisfiability prover. The constructed logical model represents the artifact to be designed. We also show a methodology for describing the meaning of specialized languages by applying syntactical transformations from language constructs to description logic formulae. Considering these transformations, a language designer can easily estimate the computational costs of intended constructs.
C. Schröder, R. Möller, and Carsten Lutz.
A Partial Logical Reconstruction of PLAKON/KONWERK.
In Proceedings of the Workshop on Knowledge Representation and
Configuration, KI'96, Dresden, pages 55–64. DFKI, September 1996.
DFKI-Memo D-96-04.
Bibtex entry Paper (PDF)