Die korpuslinguistische Arbeit untersucht den Erwerb von Koselektionsbeschränkungen bei Lerner*innen des Deutschen als Fremdsprache in einem quasi-longitudinalen Forschungsdesign anhand des Kobalt-Korpus. Neben einigen statistischen Analysen wird vordergründig eine graphbasierte Analyse entwickelt, die auf der Graphmetrik Louvain-Modularität aufbaut. Diese wird für diverse Subkorpora nach verschiedenen Kriterien berechnet und mit Hilfe verschiedener Samplingtechniken umfassend intern validiert. Im Ergebnis zeigen sich eine Abhängigkeit der gemessenen Modularitätswerte vom Sprachstand der Teilnehmer*innen, eine höhere Modularität bei Muttersprachler*innen, niedrigere Modularitätswerte bei weißrussischen vs. chinesischen Lerner*innen sowie ein U-Kurven-förmiger Erwerbsverlauf bei weißrussischen, nicht aber chinesischen Lerner*innen. Unterschiede zwischen den Gruppen werden aus typologischer, kognitiver, diskursiv-kultureller und Registerperspektive diskutiert. Abschließend werden Vorschläge für den Einsatz von graphbasierten Modellierungen in kernlinguistischen Fragestellungen entwickelt. Zusätzlich werden theoretische Lücken in der gebrauchsbasierten Beschreibung von Koselektionsphänomenen (Phraseologie, Idiomatizität, Kollokation) aufgezeigt und ein multidimensionales funktionales Modell als Alternative vorgeschlagen. / The thesis located in corpus linguistics analyzes the acquisition of coselectional constraint in learners of German as a second language in a quasi-longitudinal design based on the Kobalt corpus. Supplemented by a number of statistical analyses, the thesis primarily develops a graph-based analysis making use of Louvain modularity. The graph metric is computed for a range of subcorpora chosen by various criteria. Extensive internal validation is performed through a number of sampling techniques. Results robustly indicate a dependency of modularity on language acquisition progress, higher modularity in L1 vs. L2, lower modularity in Belarusian vs. Chinese learners, and a u-shaped learning development in Belarusian, but not in Chinese learners. Group differences are discussed from a typological, cognitive, cultural and cultural discourse, and register perspective. Finally, future applications of graph-based modeling in core-linguistic research are outlined. In addition, some gaps in the theoretical discussion of coselection phenomena (phraseology, idiomaticity, collocation) in usage-based linguistics are discussed and a multidimensional and functional model is proposed as an alternative.

Background: In the life sciences, the amount of literature and experimental data grows at a tremendous rate. In order to effectively access and integrate these data, biomedical ontologies – controlled, hierarchical vocabularies – are being developed. Creating and maintaining such ontologies is a difficult, labour-intensive, manual process. Many computational methods which can support ontology construction have been proposed in the past. However, good, validated systems are largely missing. Motivation: The biocuration community plays a central role in the development of ontologies. Any method that can support their efforts has the potential to have a huge impact in the life sciences. Recently, a number of semantic search engines were created that make use of biomedical ontologies for document retrieval. To transfer the technology to other knowledge domains, suitable ontologies need to be created. One area where ontologies may prove particularly useful is the search for alternative methods to animal testing, an area where comprehensive search is of special interest to determine the availability or unavailability of alternative methods. Results: The Dresden Ontology Generator for Directed Acyclic Graphs (DOG4DAG) developed in this thesis is a system which supports the creation and extension of ontologies by semi-automatically generating terms, definitions, and parent-child relations from text in PubMed, the web, and PDF repositories. The system is seamlessly integrated into OBO-Edit and Protégé, two widely used ontology editors in the life sciences. DOG4DAG generates terms by identifying statistically significant noun-phrases in text. For definitions and parent-child relations it employs pattern-based web searches. Each generation step has been systematically evaluated using manually validated benchmarks. The term generation leads to high quality terms also found in manually created ontologies. Definitions can be retrieved for up to 78% of terms, child ancestor relations for up to 54%. No other validated system exists that achieves comparable results. To improve the search for information on alternative methods to animal testing an ontology has been developed that contains 17,151 terms of which 10% were newly created and 90% were re-used from existing resources. This ontology is the core of Go3R, the first semantic search engine in this field. When a user performs a search query with Go3R, the search engine expands this request using the structure and terminology of the ontology. The machine classification employed in Go3R is capable of distinguishing documents related to alternative methods from those which are not with an F-measure of 90% on a manual benchmark. Approximately 200,000 of the 19 million documents listed in PubMed were identified as relevant, either because a specific term was contained or due to the automatic classification. The Go3R search engine is available on-line under www.Go3R.org.

Die vorliegende Arbeit widmet sich der Aufgabe makroskopische Berechnungsmodelle zur Beschreibung des Drahtsägens zu erarbeiten. Ziel ist es, die wesentlichen Effekte abzubilden und den Einfluss von Prozessparametern auf die Dynamik des Systems zu bestimmen. Ein zentraler Punkt ist die Modellierung des bewegten Sägedrahtes. Durch die dem Kontinuum an den Auflagern aufgeprägte Führungsbewegung sind einerseits die Randbedingungen und andererseits ortsfest auf den Draht wirkende Lasten nichtmateriell. Die korrekte kinematische Beschreibung dieses Sachverhaltes ist essentielle Grundlage für die spätere Anwendung des Prinzips von HAMILTON. Durch die Führungsbewegung, die Formulierung der Kontaktkräfte als Folgelasten und durch explizit zeitabhängige Systemparameter ergibt sich ein kompliziertes Systemverhalten. Die dargestellten Berechnungsergebnisse umfassen Studien zu stationären Lagen, die Berechnung von Eigenfrequenzen, Stabilitätsnachweise des dynamischen Grundzustandes, die Bestimmung von Zeitlösungen und die Simulation des Materialabtrages beim Einschnitt. / The aim of the present thesis is to generate macroscopic models to describe the wire sawing process. The principal purpose is to illustrate basic effects and to investigate the influence of important process parameters relating to the dynamics of the system. A fundamental point is the modeling of the moving wire. Because of the axially movement of the continuum the boundary conditions and spatial acting loads are non-material. The precise kinematical description of this issue is the pre-condition for the correct evaluation of HAMILTON’s principle to characterize the dynamics of the system. The resultant complex system behavior is a consequence of the movement of the wire, of the formulation of the contact forces as follower loads and of explicitly time-dependent model parameters. The results of research contain studies of steady state equilibrium solutions and the proof of their LJAPUNOW stability, the calculation of eigenfrequencies, steady state time solutions under harmonically oscillating contact forces and the simulation of the material removal during the cutting process.

Die vorliegende Arbeit widmet sich der Aufgabe makroskopische Berechnungsmodelle zur Beschreibung des Drahtsägens zu erarbeiten. Ziel ist es, die wesentlichen Effekte abzubilden und den Einfluss von Prozessparametern auf die Dynamik des Systems zu bestimmen. Ein zentraler Punkt ist die Modellierung des bewegten Sägedrahtes. Durch die dem Kontinuum an den Auflagern aufgeprägte Führungsbewegung sind einerseits die Randbedingungen und andererseits ortsfest auf den Draht wirkende Lasten nichtmateriell. Die korrekte kinematische Beschreibung dieses Sachverhaltes ist essentielle Grundlage für die spätere Anwendung des Prinzips von HAMILTON. Durch die Führungsbewegung, die Formulierung der Kontaktkräfte als Folgelasten und durch explizit zeitabhängige Systemparameter ergibt sich ein kompliziertes Systemverhalten. Die dargestellten Berechnungsergebnisse umfassen Studien zu stationären Lagen, die Berechnung von Eigenfrequenzen, Stabilitätsnachweise des dynamischen Grundzustandes, die Bestimmung von Zeitlösungen und die Simulation des Materialabtrages beim Einschnitt.:1 Einleitung 1.1 Technische Problemstellung und Motivation der Arbeit 1.2 Literaturübersicht 1.3 Thema und Gliederung der Arbeit 2 Theoretische Grundlagen 2.1 Notation und mathematische Grundlagen 2.2 Kinematische Grundlagen der Kontinuumsmechanik 2.2.1 Konfiguration und Betrachtungsweisen 2.2.2 Verformungskinematik 2.2.3 Zeitableitungen 2.3 Variationsrechnung 2.3.1 Grundlagen 2.3.2 Verallgemeinerte Variationen 2.4 Kinetik / Prinzip von HAMILTON 2.5 Diskretisierung von Feldproblemen 2.6 Stabilität stationärer Lösungen 2.6.1 Grundlagen der kinetischen Stabilitätstheorie 2.6.2 Erste Methode von LJAPUNOW 2.6.3 Stabilitätsbetrachtung für bewegte Kontinua 2.7 Zeitlösung 2.7.1 Homogene Lösung der Störungsdifferentialgleichungen 2.7.2 Partikuläre Lösung der Störungsdifferentialgleichungen 3 Mechanisches Modell und Modellvarianten 3.1 Kinematik des Drahtes in LAGRANGE-Koordinaten 3.2 Kinematik des Drahtes in EULER-Koordinaten 3.3 Modell I 3.3.1 Variationsformulierung und Feldgleichungen 3.3.2 Ortsdiskretisierung der Variationsformulierung 3.3.3 Stationäre Lage, Stabilitätsuntersuchung und Zeitlösung 3.4 Modell II 3.4.1 Variationsformulierung und Feldgleichungen 3.4.2 Ortsdiskretisierung der Variationsformulierung 3.4.3 Stationäre Lage, Stabilitätsuntersuchung und Zeitlösung 3.5 Numerische Umsetzung 3.6 Berechnungsergebnisse 3.6.1 Stationäre Lagen 3.6.2 Eigenfrequenzen 3.6.3 Stabilitätsuntersuchungen 3.6.4 Zeitlösungen 4 Ankopplung des Ingot und Modellierung des Materialabtrages 4.1 FE- Modell des Gesamtblocks 4.1.1 Bestimmung der mechanischen Eigenschaften des Ingot 4.1.2 Berechnungsergebnisse 4.2 Strukturmechanisches Modell des Gesamtblocks und Ankopplung an den Sägedraht 4.3 Variationsformulierungen der gekoppelten Gesamtsysteme unter Berücksichtigung des Materialabtrages 4.3.1 Gesamtmodell I 4.3.2 Gesamtmodell II 4.4 Simulation des Schnittvorganges 5 Zusammenfassung / Ausblick 6 Verzeichnisse 6.1 Literaturverzeichnis 6.1.1 Allgemeine Literatur 6.1.2 Literatur zum Thema Drahtsägen 6.1.3 Literatur zum Thema bewegte Kontinua Anhang / The aim of the present thesis is to generate macroscopic models to describe the wire sawing process. The principal purpose is to illustrate basic effects and to investigate the influence of important process parameters relating to the dynamics of the system. A fundamental point is the modeling of the moving wire. Because of the axially movement of the continuum the boundary conditions and spatial acting loads are non-material. The precise kinematical description of this issue is the pre-condition for the correct evaluation of HAMILTON’s principle to characterize the dynamics of the system. The resultant complex system behavior is a consequence of the movement of the wire, of the formulation of the contact forces as follower loads and of explicitly time-dependent model parameters. The results of research contain studies of steady state equilibrium solutions and the proof of their LJAPUNOW stability, the calculation of eigenfrequencies, steady state time solutions under harmonically oscillating contact forces and the simulation of the material removal during the cutting process.:1 Einleitung 1.1 Technische Problemstellung und Motivation der Arbeit 1.2 Literaturübersicht 1.3 Thema und Gliederung der Arbeit 2 Theoretische Grundlagen 2.1 Notation und mathematische Grundlagen 2.2 Kinematische Grundlagen der Kontinuumsmechanik 2.2.1 Konfiguration und Betrachtungsweisen 2.2.2 Verformungskinematik 2.2.3 Zeitableitungen 2.3 Variationsrechnung 2.3.1 Grundlagen 2.3.2 Verallgemeinerte Variationen 2.4 Kinetik / Prinzip von HAMILTON 2.5 Diskretisierung von Feldproblemen 2.6 Stabilität stationärer Lösungen 2.6.1 Grundlagen der kinetischen Stabilitätstheorie 2.6.2 Erste Methode von LJAPUNOW 2.6.3 Stabilitätsbetrachtung für bewegte Kontinua 2.7 Zeitlösung 2.7.1 Homogene Lösung der Störungsdifferentialgleichungen 2.7.2 Partikuläre Lösung der Störungsdifferentialgleichungen 3 Mechanisches Modell und Modellvarianten 3.1 Kinematik des Drahtes in LAGRANGE-Koordinaten 3.2 Kinematik des Drahtes in EULER-Koordinaten 3.3 Modell I 3.3.1 Variationsformulierung und Feldgleichungen 3.3.2 Ortsdiskretisierung der Variationsformulierung 3.3.3 Stationäre Lage, Stabilitätsuntersuchung und Zeitlösung 3.4 Modell II 3.4.1 Variationsformulierung und Feldgleichungen 3.4.2 Ortsdiskretisierung der Variationsformulierung 3.4.3 Stationäre Lage, Stabilitätsuntersuchung und Zeitlösung 3.5 Numerische Umsetzung 3.6 Berechnungsergebnisse 3.6.1 Stationäre Lagen 3.6.2 Eigenfrequenzen 3.6.3 Stabilitätsuntersuchungen 3.6.4 Zeitlösungen 4 Ankopplung des Ingot und Modellierung des Materialabtrages 4.1 FE- Modell des Gesamtblocks 4.1.1 Bestimmung der mechanischen Eigenschaften des Ingot 4.1.2 Berechnungsergebnisse 4.2 Strukturmechanisches Modell des Gesamtblocks und Ankopplung an den Sägedraht 4.3 Variationsformulierungen der gekoppelten Gesamtsysteme unter Berücksichtigung des Materialabtrages 4.3.1 Gesamtmodell I 4.3.2 Gesamtmodell II 4.4 Simulation des Schnittvorganges 5 Zusammenfassung / Ausblick 6 Verzeichnisse 6.1 Literaturverzeichnis 6.1.1 Allgemeine Literatur 6.1.2 Literatur zum Thema Drahtsägen 6.1.3 Literatur zum Thema bewegte Kontinua Anhang

Background: In the life sciences, the amount of literature and experimental data grows at a tremendous rate. In order to effectively access and integrate these data, biomedical ontologies – controlled, hierarchical vocabularies – are being developed. Creating and maintaining such ontologies is a difficult, labour-intensive, manual process. Many computational methods which can support ontology construction have been proposed in the past. However, good, validated systems are largely missing. Motivation: The biocuration community plays a central role in the development of ontologies. Any method that can support their efforts has the potential to have a huge impact in the life sciences. Recently, a number of semantic search engines were created that make use of biomedical ontologies for document retrieval. To transfer the technology to other knowledge domains, suitable ontologies need to be created. One area where ontologies may prove particularly useful is the search for alternative methods to animal testing, an area where comprehensive search is of special interest to determine the availability or unavailability of alternative methods. Results: The Dresden Ontology Generator for Directed Acyclic Graphs (DOG4DAG) developed in this thesis is a system which supports the creation and extension of ontologies by semi-automatically generating terms, definitions, and parent-child relations from text in PubMed, the web, and PDF repositories. The system is seamlessly integrated into OBO-Edit and Protégé, two widely used ontology editors in the life sciences. DOG4DAG generates terms by identifying statistically significant noun-phrases in text. For definitions and parent-child relations it employs pattern-based web searches. Each generation step has been systematically evaluated using manually validated benchmarks. The term generation leads to high quality terms also found in manually created ontologies. Definitions can be retrieved for up to 78% of terms, child ancestor relations for up to 54%. No other validated system exists that achieves comparable results. To improve the search for information on alternative methods to animal testing an ontology has been developed that contains 17,151 terms of which 10% were newly created and 90% were re-used from existing resources. This ontology is the core of Go3R, the first semantic search engine in this field. When a user performs a search query with Go3R, the search engine expands this request using the structure and terminology of the ontology. The machine classification employed in Go3R is capable of distinguishing documents related to alternative methods from those which are not with an F-measure of 90% on a manual benchmark. Approximately 200,000 of the 19 million documents listed in PubMed were identified as relevant, either because a specific term was contained or due to the automatic classification. The Go3R search engine is available on-line under www.Go3R.org.