Refine
Year of publication
- 2013 (23) (remove)
Document Type
- Doctoral Thesis (10)
- Bachelor Thesis (4)
- Part of Periodical (4)
- Master's Thesis (2)
- Conference Proceedings (1)
- Diploma Thesis (1)
- Habilitation (1)
Language
- English (23) (remove)
Keywords
- Pflanzenschutzmittel (3)
- ABox (1)
- Abduktion <Logik> (1)
- Agrochemikalien (1)
- Bach (1)
- Boden (1)
- Bodenchemie (1)
- Bodenökologie (1)
- C++ (1)
- Calculus (1)
Autonomous systems such as robots already are part of our daily life. In contrast to these machines, humans an react appropriately to their counterparts. People can hear and interpret human speech, and interpret facial expressions of other people.
This thesis presents a system for automatic facial expression recognition with emotion mapping. The system is image-based and employs feature-based feature extraction. This thesis analyzes the common steps of an emotion recognition system and presents state-of-the-art methods. The approach presented is based on 2D features. These features are detected in the face. No neutral face is needed as reference. The system extracts two types of facial parameters. The first type consists of distances between the feature points. The second type comprises angles between lines connecting the feature points. Both types of parameters are implemented and tested. The parameters which provide the best results for expression recognition are used to compare the system with state-of-the-art approaches. A multiclass Support Vector Machine classifies the parameters.
The results are codes of Action Units of the Facial Action Coding System. These codes are mapped to a facial emotion. This thesis addresses the six basic emotions (happy, surprised, sad, fearful, angry, and disgusted) plus the neutral facial expression. The system presented is implemented in C++ and is provided with an interface to the Robot Operating System (ROS).
This paper originates from the FP6 project "Emergence in the Loop (EMIL)" which explores the emergence of norms in artificial societies. Part of work package 3 of this project is a simulator that allows for simulation experiments in different scenarios, one of which is collaborative writing. The agents in this still prototypical implementation are able to perform certain actions, such as writing short texts, submitting them to a central collection of texts (the "encyclopaedia") or adding their texts to texts formerly prepared by other agents. At the same time they are able to comment upon others' texts, for instance checking for correct spelling, for double entries in the encyclopaedia or for plagiarisms. Findings of this kind lead to reproaching the original authors of blamable texts. Under certain conditions blamable activities are no longer performed after some time.
Agricultural pesticides, especially insecticides, are an integral part of modern farming. However, these may often leave their target ecosystems and cause adverse effects in non- target, especially freshwater ecosystems, leading to their deterioration. In this thesis, the focus will be on Insect Growth Regulators (IGRs) that can in many ways cause disruption of the endocrine system of invertebrates. Freshwater invertebrates play important ecological, economic and medical roles, and disruption of their endocrine systems may be crucial, considering the important role hormones play in the developmental and reproductive processes in organisms. Although Endocrine Disruption Chemicals (EDCs) can affect moulting, behaviour, morphology, sexual maturity, time to first brood, egg development time, brood size (fecundity), and sex determination in invertebrates, there is currently no agreement upon how to characterize and assess endocrine disruption (ED). Current traditional ecotoxicity tests for Ecological Risk Assessment (ERA) show limitations on generating data at the population level that may be relevant for the assessment of EDCs, which effects may be sublethal, latent and persist for several generations of species (transgenerational).
It is therefore the primary objective of this thesis to use a test method to investigate adverse effects of EDCs on endpoints concerning development and reproduction in freshwater invertebrates. The full life-cycle test over two generations that includes all sensitive life stages of C. riparius (a sexual reproductive organism) allows an assessment of its reproduction and should be suitable for the investigation of long-term toxicity of EDCs in freshwater invertebrates. C. riparius is appropriate for this purpose because of its short life cycle that enables the assessment of functional endpoints of the organism over several generations. Moreover, the chironomid life cycle consists of a complete metamorphosis controlled by a well-known endocrine mechanism and the endocrine system of insects has been most investigated in great detail among invertebrates. Hence, the full life-cycle test with C. riparius provides an approach to assess functional endpoints (e.g. reproduction, sex ratio) that are population-relevant as a useful amendment to the ERA of EDCs. In the laboratory, C. riparius was exposed to environmentally-relevant concentrations of the selected IGRs in either spiked water or spiked sediment scenario over two subsequent generations.
The results reported in this thesis revealed significant effects of the IGRs on the development and the reproduction of C. riparius with the second (F1) generation showing greater sensitivity. These findings indicated for the first time the suitability of multigenerational testing for various groups of EDCs and strongly suggested considering the full life-cycle of C. riparius as an appropriate test method for a better assessment of EDCs in the freshwater environment. In conclusion, this thesis helps to detect additional information that can be extrapolated at population level and, thus, might contribute to better protection of freshwater ecosystems against the risks of Endocrine Disrupting Chemicals (EDCs.) It may furthermore contribute to changes in the ERA process that are necessary for a real implementation of the new European chemical legislation, REACH (Registration, Evaluation Authorization and Restriction of Chemicals). Finally, significant interactions between temperature, chemical exposure and generation were reported for the first time and, may help predict impacts that may occur in the future, in the field, under predicted climate change scenarios.
Assessment of bat activity in agricultural environments and the evaluation of the risk of pesticides
(2013)
Although agriculture dominates with around 50% area much of Europe- landscape, there is virtually no information on how bats use this farmed environment for foraging. Consequently, little is known about effective conservation measures to compensate potential negative effects of agrarian management practice on the food availability for bats in this habitat. Moreover, there are currently no specific regulatory requirements to include bats in European Union risk assessments for the registration of pesticides since no information about pesticide exposure on this mammal group is available. To evaluate the potential pesticide exposure of bats via ingestion of contaminated insects, information about bat presence and activity in agricultural habitats is required. In order to examine bat activity on a landscape scale it was necessary to establish a suitable survey method. Contrary to capture methods, telemetry, and direct observations, acoustic surveys of bat activity are a logistically feasible and cost-effective way of obtaining bat activity data. However, concerns regarding the methodological designs of many acoustic surveys are expressed in the scientific literature. The reasons are the failing of addressing temporal and spatial variation in bat activity patterns and the limitations of the suitability of the used acoustic detector systems. By comparing different methods and detector systems it was found that the set up of several stationary calibrated detector systems which automatically trigger the ultrasonic recording has the highest potential to produce reliable, unbiased and comparable data sets on the relative activity of bats.
By using the proposed survey method, bat diversity and activity was recorded in different crops and semi-natural habitats in southern Rhineland-Palatinate. Simultaneously, the availability of aerial prey insects was studied by using light and sticky traps. In more than 500 sampling nights about 110,000 call sequences were acoustically recorded and almost 120,000 nocturnal insects were sampled. A total of 14 bat species were recorded, among them the locally rare and critically endangered northern bat (Eptesicus nilssonii) and the barbastelle (Barbastella barbastellum), all of them also occurring over agricultural fields. The agricultural landscape of southern Palatinate is dominated by vineyards, a habitat that was shown to be of low quality for most bat species because of the demonstrated low availability of small aerial insects. By surveying bat activity and food availably in a pair-wise design on several rain water retention ponds and neighbouring vineyards it was demonstrated that aquatic insect emergence in artificial wetlands can provide an important resource subsidy for bats. The creation of artificial wetlands would be a possibility to create important foraging habitats for bats and mitigate negative effects of management practice in the agricultural landscape.
In several other agricultural crops, however, high abundances of suitable prey insects and high bat activity levels, comparable or even higher than in the nearby forests and meadows known to be used as foraging habitats were demonstrated. Especially high bat activity levels were recorded over several fruit orchards and vegetable fields where insects were also present. Both crops are known for high pesticide inputs, and, therefore, a pesticide exposure through ingestion of contaminated insects can not be excluded. To follow the current risk assessment approach for birds and mammals pesticide residues were measured on bat-specific food items in an apple orchard following insecticide applications and bat activity was recorded in parallel. The highest residue values were measured on foliage-dwelling arthropods which may results in a reproductive risk for all bat species that, even to a small extent, include this prey group in their diet. The presence of bats in agricultural landscapes that form a majority of the land area in Europe but also on a global scale leads to exposure of bats by contaminated food and depletion of their food resources by pesticide use. So far conservation efforts for bats focussed on securing hibernation sites and the creation of artificial roost sites since especially the latter were thought to be limiting population growth. However the potential pesticide effects might be also crucial for the population persistence in agricultural landscapes of bats and need to be addressed adequately, especially in risk assessment procedures for the regulation of pesticides.
English prepositions take only a small proportion of the language but play a substantial role. Although prepositions are of course also frequently used in English textbooks for secondary school, students fail to incidentally acquire them and often show low achievements in using prepositions correctly. The strategy commonly employed by language instructors is teaching the multiple senses of prepositions by rote which fails to help the students to draw links between the different meanings in usage. New findings in Cognitive Linguistics (CL) suggest a different approach to teaching prepositions and thus might have a strong impact on the methodologies of foreign language teaching and learning on the aspects of meaningful learning. Based on the Theory of Domains (Langacker, 1987), the notions of image schemas (Johnson, 1987) as well as the Conceptual Metaphor Theory (Lakoff & Johnson, 1980), the present study developed a CL-inspired approach to teaching prepositions, which was compared to the traditional teaching method by an empirical study conducted in a German school setting. Referring to the participants from the higher track and the medium track, who are at different proficiency levels, the results indicate that the CL-inspired teaching approach improved students" performance significantly more than the traditional approach in all the cases for the higher track and in some cases for the medium track. Thus, these findings open up a new perspective of the CL-inspired meaningful learning approach on language teaching. In addition, the CL-inspired approach demonstrates the unification of the integrated model of text and picture comprehension (the ITPC model) in integrating the new knowledge with related prior knowledge in the cognitive structure. According to the learning procedure of the ITPC model, the image schema as visual image is first perceived through the sensory register, then is processed in the working memory by conceptual metaphor, and finally it is integrated with cognitive schemata in the long term memory. Moreover, deep-seated factors, such as transfer of mother tongue, the difficulty of teaching materials, and the influence of prior knowledge, have strong effects on the acquisition of English prepositions.
This habilitation thesis deals with the effects of toxicants on freshwater ecosystems and considers different toxicant classes (pesticides, organic toxicants, salinity) and biotic endpoints (taxonomic community structure, trait community structure, ecosystem functions).
The thesis comprises 12 peer-reviewed international publications on these topics. All of the related studies rely on mesocosm or field investigations, or the analysis of field biomonitoring or chemical monitoring data. Publications I and II are devoted to passive sampling of a neonicotinoid insecticide and polycyclic aromatic hydrocarbons (PAHs), respectively. They show that biofouling and a diffusion-limiting membrane can reduce the sampling rate of the pulsed insecticide exposure and that receiving phases of different thicknesses can be used to assess the kinetic regime during field deployment of passive samplers. Publications III to VI mainly focus on trait-based approaches to reveal toxicant effects on invertebrates in streams. An overview on the framework and several applications of a trait-based approach to detect effects of pesticides (SPEARpesticides index) are given in publication III. Publication IV describes the development of a trait database for South-East Australian stream invertebrates and its successful application in the adaptation of SPEARpesticides as well as the development of a salinity index. Moreover, a conceptual model for the future development of trait-based biomonitoring indices is proposed. Publication V reports a mesocom study on the effects of a neonicotinoid insecticide on field-realistic invertebrate communities. The insecticide had long-term effects on the invertebrate communities, which were only detected when grouping the taxa according to their life-history traits. A comprehensive field study employing different pesticide sampling methods including passive sampling and biomonitoring of the invertebrate and microbial communities is presented in publication VI. The study did not find pesticide-induced changes in the microbial communities, but detected adverse effects of current-use pesticides on the invertebrate communities using the trait-based SPEARpesticides index. This index is also applied in a meta-analysis on thresholds for the effects of pesticides on invertebrate communities in publication VII. It is shown that there is a similar dose-response relationship between SPEARpesticides and pesticide toxicity over different biogeographical regions and continents. In addition, the thresholds for effects of pesticides are lower than derived from most mesocosm studies and than considered in regulatory pesticide risk assessment. The publications VIII to X use statistical data analysis approaches to examine effects of toxicants in freshwater ecosystems. Using governmental monitoring data on 331 organic toxicants monitored monthly in 4 rivers over 11 years, publication VIII finds that organic toxicants frequently occurred in concentrations envisaging acute toxic effects on invertebrates and algae even in large rivers. Insecticides and herbicides were the chemical groups mainly contributing to the ecotoxicological risk. Publication IX introduces a novel statistical method based on a similarity index to estimate thresholds for the effects of toxicants or other stressors on ecological communities. The application of the method for deriving thresholds for salinity, heavy metals and pesticides in streams is presented in three case studies. Publication X tackles the question of interactive effects between different toxicants using data from a field study on stream invertebrates in 24 sites of South-East Australia. Both salinity and pesticides exhibited statistically significant effects on the invertebrate communities, but no interaction between the stressors was found. Moreover, salinity acted on a higher taxonomical level than pesticides suggesting evolutionary adaptation of stream invertebrates compared to pesticide stress. Publications XI and XII concentrate on the effects of toxicants on biodiversity, ecosystem functions and ecosystem services, with publication XI summarising different studies related to the ecological risk assessment for these endpoints. A field study on the effects of pesticides and salinity on the ecosystem functions of allochthonous organic matter decomposition, gross primary production and ecosystem respiration is presented in publication XII. Both pesticides and salinity reduced the breakdown of allochthonous organic matter, whereas no effects on the other ecosystem functions were detected. A chapter following these publications synoptically discusses all studies of this habilitation thesis and draws general conclusions. It is stressed that in order to advance the understanding of effects of toxicants on freshwater ecosystems more ecological realism is needed in ecotoxicological approaches and that the spatiotemporal extent of toxicant effects needs more scrutiny.
Worldwide one third to one half of the freshwater crayfish species are threatened with population decline or extinction. Besides habitat deterioration, pollution, and other man-made environmental changes, invasive species and pathogens are major threats to the survival of European crayfish species. Freshwater crayfish are the largest freshwater invertebrates and strongly influence the structure of food webs. The disappearance of crayfish from a water body may change the food web and could have dramatic consequences for an ecosystem.rnOne goal in modern species conservation strategies is the conservation of genetic diversity, since genetic diversity is an advantage for the long-term survival of a species. The main aim of my thesis was to reveal the genetic structure and to identify genetic hotspots of the endangered noble crayfish (Astacus astacus) throughout Europe (part 1 of my thesis). Since the most significant threat to biodiversity of European crayfish species is the crayfish plague pathogen Aphanomyces astaci I studied new aspects in the distribution of A. astaci (part two of my thesis). The results serve as a basis for future conservation programs for freshwater crayfish. In the first part of my thesis I conducted a phylogeographic analysis of noble crayfish using mitochondrial DNA and nuclear microsatellite data. With these methods I aimed to identify its genetic hotspots and to reconstruct the recolonization history of central Europe by this species. I detected high genetic diversities in southestern Europe indicating that noble crayfish outlasted the cold climate phases during the Pleistocene in this region (Appendix 1). Because of the high genetic diversity found there, southeastern Europe is of particular importance for the conservation of noble crayfish. The mitochondrial DNA analysis points to a bifurcated colonization process from the eastern Black Sea basin to a) the North Sea and to b) the Baltic Sea basin (Appendix 2). A second independent refugium that was localized on the Western Balkans did not contribute to the colonization of central Europe. Furthermore, I found that the natural genetic structure is dissolved, probably due to the high human impact on the distribution of noble crayfish (e.g. artificial translocation). In the second part of this thesis using real-time PCR I identified calico crayfish (Orconectes immunis) as the fourth North American crayfish species to be carrier of the agent of the crayfish plague (Appendix 3). Furthermore I detected the crayfish plague pathogen in American spiny-cheek crayfish (Orconectes limosus) and native narrow-clawed crayfish (Astacus leptodactylus) in the lower Danube in Romania (Appendix 4). The distribution of infected spiny-cheek crayfish poses a threat to the native biodiversity in southeastern Europe and shows the high invasion potential of this crayfish species. Moreover, I found that even the native narrow-clawed crayfish in the Danube Delta, about 970 km downstream of the current invasion front of American crayfish, is a carrier of A. astaci (Appendix 5). This finding is of high importance, as the native species do not seem to suffer from the infection. In Appendix 6 I elucidate demonstrate that the absence of the crayfish plague agent is the most likely explanation for the coexistence of populations of European and American crayfish in central Europe. In my thesis I show that the common assumption that all North American crayfish are carrier of A. astaci and that all native crayfish species die when infected with A. astaci does not hold true. The studies presented in my thesis reveal new aspects that are crucial for native crayfish conservation: 1) The genetic diversity of noble crayfish is highest in southeastern Europe where noble crayfish outlasted the last glacial maximum in at least two different refugia. 2) Not all American crayfish populations are carrier of A. astaci and 3) not all Europen crayish populations die shortly after being infected with the crayfish plague pathogen.rnTo conserve native crayfish species and their (genetic) diversity in the long term, further introductions of American crayfish into European waters must be avoided. However, the introduction will only decrease if the commercial trade with non-indigenous crayfish species is prohibited.
Chemical plant protection is an essential element in integrated pest management and hence, in current crop production. The use of Plant Protection Products (PPPs) potentially involves ecological risk. This risk has to be characterised, assessed and managed.
For the coming years, an increasing need for agricultural products is expected. At the same time, preserving our natural resources and biodiversity per se is of equally fundamental importance. The relationship of our economic success and cultural progress to protecting the environment has been made plain in the Ecosystem Service concept. These distinct 'services' provide the foundation for defining ecological protection goals (Specific Protection Goals, SPGs) which can serve in the development of methods for ecological risk characterisation, assessment and management.
Ecological risk management (RM) of PPPs is a comprehensive process that includes different aspects and levels. RM is an implicit part of tiered risk assessment (RA) schemes and scenarios, yet RM also explicitly occurs as risk mitigation measures. At higher decision levels, RM takes further risks, besides ecological risk, into account (e.g., economic). Therefore, ecological risk characterisation can include RM (mitigation measures) and can be part of higher level RM decision-making in a broader Ecosystem Service context.
The aim of this thesis is to contribute to improved quantification of ecological risk as a basis for RA and RM. The initial general objective had been entitled as "… to estimate the spatial and temporal extent of exposure and effects…" and was found to be closely related to forthcoming SPGs with their defined 'Risk Dimension'.
An initial exploration of the regulatory framework of ecological RA and RM of PPPs and their use, carried out in the present thesis, emphasised the value of risk characterisation at landscape-scale. The landscape-scale provides the necessary and sufficient context, including abiotic and biotic processes, their interaction at different scales, as well as human activities. In particular, spatially (and temporally) explicit landscape-scale risk characterisation and RA can provide a direct basis for PPP-specific or generic RM. From the general need for tiered landscape-scale context in risk characterisation, specific requirements relevant to a landscape-scale model were developed in the present thesis, guided by the key objective of improved ecological risk quantification. In principle, for an adverse effect (Impact) to happen requires a sensitive species and life stage to co-occur with a significant exposure extent in space and time. Therefore, the quantification of the Probability of an Impact occurring is the basic requirement of the model. In a landscape-scale context, this means assessing the spatiotemporal distribution of species sensitivity and their potential exposure to the chemical.
The core functionality of the model should reflect the main problem structures in ecological risk characterisation, RA and RM, with particular relationship to SPGs, while being adaptable to specific RA problems. This resulted in the development of a modelling framework (Xplicit-Framework), realised in the present thesis. The Xplicit-Framework provides the core functionality for spatiotemporally explicit and probabilistic risk characterisation, together with interfaces to external models and services which are linked to the framework using specific adaptors (Associated-Models, e.g., exposure, eFate and effect models, or geodata services). From the Xplicit-Framework, and using Associated-Models, specific models are derived, adapted to RA problems (Xplicit-Models).
Xplicit-Models are capable of propagating variability (and uncertainty) of real-world agricultural and environmental conditions to exposure and effects using Monte Carlo methods and, hence, to introduce landscape-scale context to risk characterisation. Scale-dependencies play a key role in landscape-scale processes and were taken into account, e.g., in defining and sampling Probability Density Functions (PDFs). Likewise, evaluation of model outcome for risk characterisation is done at ecologically meaningful scales.
Xplicit-Models can be designed to explicitly address risk dimensions of SPGs. Their definition depends on the RA problem and tier. Thus, the Xplicit approach allows for stepwise introduction of landscape-scale context (factors and processes), e.g., starting at the definitions of current standard RA (lower-tier) levels by centring on a specific PPP use, while introducing real-world landscape factors driving risk. With its generic and modular design, the Xplicit-Framework can also be employed by taking an ecological entity-centric perspective. As the predictive power of landscape-scale risk characterisation increases, it is possible that Xplicit-Models become part of an explicit Ecosystem Services-oriented RM (e.g., cost/benefit level).
The polysaccharide hydration phenomenon is nowadays the subject of intense research. The interaction of native and modified polysaccharides and polysaccharides-based bioconjugates with water has an important influence on their functional behaviour. Notwithstanding that the hydration phenomenon has been studied for decades, there is still a lack of awareness about the influence of hydration water on the polysaccharide´s structure and consequences for industrial or medicinal applications. The hydration of polysaccharides is often described by the existence of water layers differing in their physical properties depending on the distance from the polysaccharide. Using the differential scanning calorimetry (DSC) such water layers were categorized according their properties upon cooling in hyaluronan (HYA, sodium salt of ß-1,4-linked units of ß-1,3-linked D-glucuronic acid and N-acetyl-D-glucosamine), a model polysaccharide in the present work. The amount of non-freezing water, i.e. water in close proximity of HYA chain which does not freeze et all, was determined around 0.74gH2O/gHYA for HYA with molecular weight from 100 to 740kDa and 0.84gH2O/gHYA for molecular weight of 1390kDa. The amount of freezing-bound water, the water pool which is affected by presence of HYA but freezes, was determined in the range from 0.74 to 2gH2O/gHYA. Above this value only non-freezing and bulk water are present since melting enthalpy measured above this concentration reached the same value as for pure water. Since this approach suffers from several experimental problems, a new approach, based on the evaporation enthalpy determination, was suggested. The analysis of the evaporation enthalpies revealed an additional process associated with apparent energy release taking part below the water content of 0.34gH2O/gHYA. Existence of this phenomenon was observed also for protonated form of HYA. The existence of energy compensating process was confirmed with the Kissinger-Akahira-Sunose method which allowed determination of actual water evaporation/desorption enthalpies in all stages of the evaporation process. In fact, the apparent evaporation enthalpy value increased until water content of 0.34gH2O/gHYA, and then dropped down to lower values which were, still higher than the value of the pure water evaporation enthalpy. By the use of time domain nuclear magnetic resonance (TD-NMR) technique it was revealed that this phenomenon is the plasticisation of HYA.
Further, it was revealed that the non-freezing water determined by the use of DSC consists of two water fractions, i.e. 15% of water structurally integrated, interacting directly with polar sites, and 85% of water structurally restricted, embedded in-between the HYA chains. The occurrence of plasticisation concentration close to equilibrium moisture content provided the possibility to influence the HYA physical structure during the drying. In this way three samples of native HYA, dried under various conditions were prepared and their physical properties were analyzed. The samples differed in kinetics of rehydration, plasticisation concentration, glass transitions, and morphology. The properties of water pool were studied in solutions of 10"25mg HYA/mL as well. The fast filed cycling (FFC) NMR relaxometry showed the existence of three water fractions which correlation times spanned from 10"6 to 10"10 seconds, progressively decreasing in dependency on its distance from HYA chain. The formation of a weak and transient intramolecular water bridge between HYA chains was observed. It was shown that, unlike the inorganic electrolytes, polyelectrolytes hydration is a dynamic process which reflects not only the technique used for the analysis, experimental conditions but also the conformation of the polysaccharide and its "thermal" and "hydration" history.
It was demonstrated that some native polysaccharide structures can be easily modified by manipulation of preparation conditions, giving fractions with specific physicochemical properties without necessity of any chemical modification.
This dissertation investigates the usage of theorem provers in automated question answering (QA). QA systems attempt to compute correct answers for questions phrased in a natural language. Commonly they utilize a multitude of methods from computational linguistics and knowledge representation to process the questions and to obtain the answers from extensive knowledge bases. These methods are often syntax-based, and they cannot derive implicit knowledge. Automated theorem provers (ATP) on the other hand can compute logical derivations with millions of inference steps. By integrating a prover into a QA system this reasoning strength could be harnessed to deduce new knowledge from the facts in the knowledge base and thereby improve the QA capabilities. This involves challenges in that the contrary approaches of QA and automated reasoning must be combined: QA methods normally aim for speed and robustness to obtain useful results even from incomplete of faulty data, whereas ATP systems employ logical calculi to derive unambiguous and rigorous proofs. The latter approach is difficult to reconcile with the quantity and the quality of the knowledge bases in QA. The dissertation describes modifications to ATP systems in order to overcome these obstacles. The central example is the theorem prover E-KRHyper which was developed by the author at the Universität Koblenz-Landau. As part of the research work for this dissertation E-KRHyper was embedded into a framework of components for natural language processing, information retrieval and knowledge representation, together forming the QA system LogAnswer.
Also presented are additional extensions to the prover implementation and the underlying calculi which go beyond enhancing the reasoning strength of QA systems by giving access to external knowledge sources like web services. These allow the prover to fill gaps in the knowledge during the derivation, or to use external ontologies in other ways, for example for abductive reasoning. While the modifications and extensions detailed in the dissertation are a direct result of adapting an ATP system to QA, some of them can be useful for automated reasoning in general. Evaluation results from experiments and competition participations demonstrate the effectiveness of the methods under discussion.