# Research Projects

Sorry - this document is available in German only.

Im Folgenden finden Sie einige Informationen über abgeschlossene bzw. aktuell laufende Forschungsprojekte an der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie weitere Informationen zu Projekten auch über die Webseiten der jeweiligen Institute und Professuren.

2016

A Logic of Aggregation and Emerging Functionality

Titel (Englisch)

A Logic of Aggregation and Emerging Functionality

Kurzbeschreibung (Deutsch)

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Kurzbeschreibung (Englisch)

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Zeitraum

01.01.2013 - 31.12.2015

Art der Finanzierung

Drittmittel

Projektleiter

- Herr Prof. Dr.-Ing. Franz Baader

Weitere Leiter (außerhalb des Lehrstuhls)

siehe Webseite

Projektmitarbeiter

- Herr Ph.D. Dirk Walther

Weitere Mitarbeiter (außerhalb des Lehrstuhls)

siehe Webseite

Finanzierungseinrichtungen

- DFG

Kooperationspartnerschaft

keine

Website zum Projekt

Relevant für den Umweltschutz

Nein

Relevant für Multimedia

Nein

Relevant für den Technologietransfer

Nein

Schlagwörter

cfaed

Berichtsjahr

2013

2015
In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

A Logic of Aggregation and Emerging Functionality

Titel (Englisch)

A Logic of Aggregation and Emerging Functionality

Kurzbeschreibung (Deutsch)

In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Kurzbeschreibung (Englisch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Zeitraum

01.01.2013 - 31.12.2015

Art der Finanzierung

Drittmittel

Projektleiter

- Herr Prof. Dr.-Ing. Franz Baader

Weitere Leiter (außerhalb des Lehrstuhls)

siehe Webseite

Projektmitarbeiter

- Herr Ph.D. Dirk Walther

Weitere Mitarbeiter (außerhalb des Lehrstuhls)

siehe Webseite

Finanzierungseinrichtungen

- DFG

Kooperationspartnerschaft

keine

Website zum Projekt

Relevant für den Umweltschutz

Nein

Relevant für Multimedia

Nein

Relevant für den Technologietransfer

Nein

Schlagwörter

cfaed

Berichtsjahr

2013

2014
In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities. In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

A Logic of Aggregation and Emerging Functionality

Titel (Englisch)

A Logic of Aggregation and Emerging Functionality

Kurzbeschreibung (Deutsch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Kurzbeschreibung (Englisch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Zeitraum

01.01.2013 - 31.12.2015

Art der Finanzierung

Drittmittel

Projektleiter

- Herr Prof. Dr.-Ing. Franz Baader

Weitere Leiter (außerhalb des Lehrstuhls)

siehe Webseite

Projektmitarbeiter

- Herr Ph.D. Dirk Walther

Weitere Mitarbeiter (außerhalb des Lehrstuhls)

siehe Webseite

Finanzierungseinrichtungen

- DFG

Kooperationspartnerschaft

keine

Website zum Projekt

Relevant für den Umweltschutz

Nein

Relevant für Multimedia

Nein

Relevant für den Technologietransfer

Nein

Schlagwörter

cfaed

Berichtsjahr

2013

2013
In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities. In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

A Logic of Aggregation and Emerging Functionality

Titel (Englisch)

A Logic of Aggregation and Emerging Functionality

Kurzbeschreibung (Deutsch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Kurzbeschreibung (Englisch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Zeitraum

01.01.2013 - 31.12.2015

Art der Finanzierung

Drittmittel

Projektleiter

- Herr Prof. Dr.-Ing. Franz Baader

Weitere Leiter (außerhalb des Lehrstuhls)

siehe Webseite

Projektmitarbeiter

- Herr Ph.D. Dirk Walther

Weitere Mitarbeiter (außerhalb des Lehrstuhls)

siehe Webseite

Finanzierungseinrichtungen

- DFG

Kooperationspartnerschaft

keine

Website zum Projekt

Relevant für den Umweltschutz

Nein

Relevant für Multimedia

Nein

Relevant für den Technologietransfer

Nein

Schlagwörter

cfaed

Berichtsjahr

2013

2012
In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities. In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

A Logic of Aggregation and Emerging Functionality

Titel (Englisch)

A Logic of Aggregation and Emerging Functionality

Kurzbeschreibung (Deutsch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Kurzbeschreibung (Englisch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Zeitraum

01.01.2013 - 31.12.2015

Art der Finanzierung

Drittmittel

Projektleiter

- Herr Prof. Dr.-Ing. Franz Baader

Weitere Leiter (außerhalb des Lehrstuhls)

siehe Webseite

Projektmitarbeiter

- Herr Ph.D. Dirk Walther

Weitere Mitarbeiter (außerhalb des Lehrstuhls)

siehe Webseite

Finanzierungseinrichtungen

- DFG

Kooperationspartnerschaft

keine

Website zum Projekt

Relevant für den Umweltschutz

Nein

Relevant für Multimedia

Nein

Relevant für den Technologietransfer

Nein

Schlagwörter

cfaed

Berichtsjahr

2013

2011
In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities. In biological systems, large entities can be described as an aggregation of smaller components. However, such a description ignores a wide range of functionalities that emerge as a consequence of the aggregation of the smaller parts. For example, while tissues are composed of many cells with a common behaviour, it is also true that damaging or even killing some of the cells in a tissue does not disrupt the activities in the tissue itself; that is, a new functionality (resilience to damage) emerged from the combination of parts that did not have the functionality themselves.

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

A Logic of Aggregation and Emerging Functionality

Titel (Englisch)

A Logic of Aggregation and Emerging Functionality

Kurzbeschreibung (Deutsch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Kurzbeschreibung (Englisch)

The aim of this project is to develop a logic-based modelling language that is expressive enough to describe such emerging phenomena, but still allows effective reasoning. The development of the formalism will be guided and motivated by examples found in biological systems. The approach will consist on identifying the properties of the emerging phenomena of interests for biology, and generalize them to a formal description language.

To evaluate the resulting formalism, we will compare it to known models developed in systems biology in terms of expressivity, modularity and prediction capabilities.

Zeitraum

01.01.2013 - 31.12.2015

Art der Finanzierung

Drittmittel

Projektleiter

- Herr Prof. Dr.-Ing. Franz Baader

Weitere Leiter (außerhalb des Lehrstuhls)

siehe Webseite

Projektmitarbeiter

- Herr Ph.D. Dirk Walther

Weitere Mitarbeiter (außerhalb des Lehrstuhls)

siehe Webseite

Finanzierungseinrichtungen

- DFG

Kooperationspartnerschaft

keine

Website zum Projekt

Relevant für den Umweltschutz

Nein

Relevant für Multimedia

Nein

Relevant für den Technologietransfer

Nein

Schlagwörter

cfaed

Berichtsjahr

2013