Project B02 develops methods for ontology-based context recognition that can support the adaptation of software systems. In Phase II we intend to broaden the scope of these methods such that they can deal with erroneous sensor data, avoid conflicting adaptations on different levels of the system, and integrate projections onto the future. From a technical point of view, this will require the combination of ontological and probabilistic reasoning, error-tolerant reasoning, reasoning about actions, and the integration of results produced by model checking.

Role within the CRC 912

• B02 will need input from projects B01 and B06 as to which are the contexts that need to be recognized. In particular, these projects will use the high-level context information produced by our ontology-based system and reasoning about this information to decide how to adapt the system in order to decrease its energy consumption.
• B04 and A04  will provide with information as to which sensing capabilities are available.
• Project B05 will in most cases directly provide with the pre-processors needed to generate assertions for primitive concepts; in other cases it will offer an already aggregated and cleaned input for the additional pre-processors to be developed within project B02. It will also use the context information generated by B02 to adapt their synopses and analytic models.
• With project B03, B02 plans to collaborate regarding the treatment of imprecise and unreliable sensor readings using probabilistic approaches, and in Phase III regarding the development of verification techniques for our framework. In the first phase, both will mainly keep each other informed about the developed approaches for reasoning about energy-relevant properties developed in the respective projects.

Staff

Principal Investigator

• Prof. Franz Baader

• PD Dr.-Ing. Anni-Yasmin Turhan

Postdoc

• Dr.-Ing. Stefan Borgwardt
• Dr. rer. nat. Marcel Lippmann

Scientists

• Mr. Christian Al-Rabbaa

former staff

• Dr. Claudia Carapelle